102 search results - page 1 / 21 » Formal and Use-Case Driven Requirement Analysis in UML |
COMPSAC
2001
IEEE
13 years 8 months ago
2001
IEEE
UML
2005
Springer
13 years 10 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
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...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
ECMDAFA
2009
Springer
13 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...