2276 search results - page 164 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
171
click to vote
ICSM
1996
IEEE
15 years 8 months ago
1996
IEEE
: Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), ...
166
click to vote
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
: The growing sophistication of user requirements in tourism due to the advent of new technologies such as the Semantic Web and mobile computing has imposed new possibilities for i...
109
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
102
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
121
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...