286 search results - page 27 / 58 » Agile Formality: A Mole of Software Engineering Practices |
ISPW
2007
IEEE
14 years 1 months ago
2007
IEEE
Current software development methodologies (such as agile and RUP) are largely management-centred, macro-process life-cycle models. While they may include some fine-grained micro-p...
COMPSAC
1997
IEEE
13 years 12 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...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
EUROMICRO
2000
IEEE
14 years 1 days ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...