1492 search results - page 181 / 299 » Automatic Software Model Checking Using CLP |
TOOLS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
102
click to vote
SPLC
2010
14 years 11 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
ICCS
2003
Springer
15 years 3 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
101
click to vote
SIGSOFT
2003
ACM
15 years 3 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
SPLC
2010
14 years 11 months ago
2010
Creating a valid software configuration of a product line can require laborious customizations involving multiple configuration file types, such as feature models, domain-specific ...