19 search results - page 2 / 4 » apsec 2007 |
APSEC
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
APSEC
2007
IEEE
13 years 9 months ago
2007
IEEE
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
APSEC
2007
IEEE
13 years 9 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...