Sciweavers

3837 search results - page 444 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
RE
2006
Springer
15 years 4 months ago
A Case Study in Systematic Improvement of Language for Requirements
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
Kimberly S. Wasson
AAMAS
2005
Springer
15 years 4 months ago
Formalisations of Capabilities for BDI-Agents
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software en...
Lin Padgham, Patrick Lambrix
TASE
2008
IEEE
15 years 4 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
TASE
2008
IEEE
15 years 4 months ago
Optimal Vibratory Stick-Slip Transport
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
Paul Umbanhowar, Kevin M. Lynch
RE
2002
Springer
15 years 4 months ago
Effective Communication in Requirements Elicitation: A Comparison of Methodologies
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
Jane Coughlan, Robert D. Macredie