Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System Development -- Requirements Engineering and Software Architectures -- A Social-Driven Design…
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…
Overview -- Processor Design Issues -- RISC Principles -- Architectures -- MIPS Architecture -- SPARC Architecture -- PowerPC Architecture -- Itanium Architecture -- ARM Architecture -- MIPS Assembly Language -- SPIM Simulator and Debugger -- Assembly Language Overview -- Procedures and the Stack -- Addressing Modes -- Arithmetic Instructions -- Conditional Execution -- Logical and Shift Operat…
Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open Source Software Development Process Modeling -- Software Dependability Applications in Process Modeling -- Simulation Process Modelling for Managing Software Evolution -- Software Process Modelling -- Motivation and Process Improvement -- Managing Organizational Change for Software Process Improvemen…
The JADE Platform and Experiences with Mobile MAS Applications -- A-globe: Agent Development Platform with Inaccessibility and Mobility Support -- Supporting Agent Development in Erlang through the eXAT Platform -- Living Systems® Technology Suite -- Multi Agent System Development Kit -- An Integrated Development Environment for Electronic Institutions -- Jadex: A BDI-Agent System Combining Mi…