2748 search results - page 40 / 550 » Generating Object-Z Specifications from Use Cases |
ECMDAFA
2010
Springer
14 years 1 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
IASTEDSE
2004
13 years 10 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
SYNTHESE
2008
13 years 8 months ago
2008
In this paper I discuss some of the criteria that are widely used in the linguistic and philosophical literature to classify an aspect of meaning as either semantic or pragmatic. W...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...