127 search results - page 5 / 26 » EFFICIENT: a tool set for supporting the modelling and valid... |
COMSIS
2004
13 years 7 months ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
TSE
2002
13 years 7 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...
BMCBI
2010
13 years 7 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
APN
2010
Springer
14 years 7 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...