2276 search results - page 77 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...
SEKE
1995
Springer
14 years 12 days ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
AOSD
2011
ACM
13 years 3 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...