738 search results - page 5 / 148 » Object Orientation and Formal Techniques |
UML
2001
Springer
15 years 3 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
107
click to vote
AOSE
2000
Springer
15 years 3 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
JOT
2008
14 years 10 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...
JOT
2010
14 years 9 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
COMPSAC
1997
IEEE
15 years 2 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...