24 search results - page 3 / 5 » Deriving Operation Contracts from UML Class Diagrams |
UML
2001
Springer
13 years 10 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
APSEC
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
CAISE
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
ISORC
2008
IEEE
14 years 16 days ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
ISSRE
2006
IEEE
14 years 4 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...