3514 search results - page 92 / 703 » Evolving Specification Engineering |
MATA
2000
Springer
13 years 11 months ago
2000
Springer
In order to model telecommunications services as mobile agent system, we are defining a methodology based on the RM-ODP standards. Our approach makes the distinction between the se...
WOA
2004
13 years 9 months ago
2004
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
IWFM
1998
13 years 9 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
BMCBI
2011
12 years 11 months ago
2011
Background: Comparison of the human genome with other primates offers the opportunity to detect evolutionary events that created the diverse phenotypes among the primate species. ...
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...