2276 search results - page 170 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
122
click to vote
ICRE
1996
IEEE
15 years 8 months ago
1996
IEEE
We stress the need of a domain-tailored requirements engineering method for the development of GISapplications. To this end, we discuss three GISapplication scenarios, the so-call...
127
click to vote
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
130
click to vote
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
137
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
128
click to vote
WCRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...