977 search results - page 40 / 196 » Formal methods integration in software engineering |
159
Voted
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
124
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
120
click to vote
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 2 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
113
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
154
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...