2493 search results - page 256 / 499 » Tool Support for Design by Contract |
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
14 years 11 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
SQJ
2008
14 years 9 months ago
2008
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
109
click to vote
ICFEM
1997
Springer
15 years 3 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
EKNOW
2009
14 years 8 months ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...