317 search results - page 59 / 64 » Frameworks: the future of formal software development |
EMSOFT
2003
Springer
14 years 23 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
APCCM
2006
13 years 9 months ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
TCS
2002
13 years 7 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
ICIW
2009
IEEE
14 years 2 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
IIE
2007
13 years 7 months ago
2007
Abstract. Issues related to 3d turtle’s navigation and geometrical figures’ manipulation in the simulated 3d space of a newly developed computational environment, MaLT, are re...