Sciweavers

222 search results - page 22 / 45
» Specification of Role-Based Interactions Components in Multi...
Sort
View
CORR
2010
Springer
93views Education» more  CORR 2010»
14 years 12 months ago
Support for Evolving Software Architectures in the ArchWare ADL
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
UML
2005
Springer
15 years 5 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
AMAST
2006
Springer
15 years 3 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
SAM
2004
98views Hardware» more  SAM 2004»
15 years 1 months ago
Scenario Synthesis from Imprecise Requirements
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
Bill Mitchell, Robert Thomson, Paul Bristow
HCI
2009
14 years 9 months ago
Implementing Human Factors within the Design Process of Advanced Driver Assistance Systems (ADAS)
This paper introduces our research which aims to develop a design approach for ADAS applications in which human factors (including stakeholder feedback and objective performance me...
Boris van Waterschoot, Mascha van der Voort