658 search results - page 5 / 132 » A formal approach to object-oriented software engineering |
CODES
1999
IEEE
14 years 26 days ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 7 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
ACSC
2000
IEEE
14 years 5 days ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
JSW
2008
13 years 8 months ago
2008
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...