1137 search results - page 21 / 228 » Disciplined Methods of Software Specification: A Case Study |
87
Voted
IASSE
2004
14 years 11 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
75
Voted
CODES
1996
IEEE
15 years 1 months ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a methodology to engineer services in real-time information environments. We evaluate, combine and enrich traditional techniques and methodologies such as New Product D...
ASM
2010
ASM
15 years 29 days ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...