280 search results - page 2 / 56 » Problems and Deficiencies of UML as a Requirements Specifica... |
RE
2001
Springer
13 years 9 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
SIGCSE
1995
ACM
13 years 8 months ago
1995
ACM
Interest in teaching object-oriented programming in first year computer science courses has increased substantially over the last few years. While the theoretical advantages are c...
JOT
2008
13 years 4 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
JUCS
2000
13 years 4 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
ICECCS
1999
IEEE
13 years 9 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...