2558 search results - page 43 / 512 » Model Composition Contracts |
103
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
120
click to vote
IDEAL
2005
Springer
15 years 8 months ago
2005
Springer
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
124
Voted
VL
2010
IEEE
15 years 29 days ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
116
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
87
Voted
AI
2005
Springer
15 years 2 months ago
2005
Springer
The use of software agents for automatic contract negotiation in e-commerce and e-trading ents has been the subject of considerable recent interest. A widely studied abstract mode...