4290 search results - page 18 / 858 » Formal Approaches to Teamwork |
ADAEUROPE
2001
Springer
15 years 4 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
100
click to vote
JOT
2008
14 years 12 months ago
2008
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
KBSE
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
112
click to vote
BMCBI
2010
15 years 1 hour ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
103
click to vote
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...