1988 search results - page 31 / 398 » Engineering formal metatheory |
149
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
156
click to vote
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
170
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
160
click to vote
PASTE
2005
ACM
16 years 5 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...