2493 search results - page 345 / 499 » Tool Support for Design by Contract |
OTM
2009
Springer
15 years 4 months ago
2009
Springer
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
105
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
VLC
2008
14 years 10 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
89
Voted
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Separation of concerns is one of the overarching goals of exception handling in order to keep separate normal and exceptional behaviour of a software system. In the context of a s...