1005 search results - page 9 / 201 » Formal Software Development in MAYA |
ECRA
2002
14 years 11 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
14 years 10 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
105
click to vote
JLP
2006
14 years 11 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
ISPW
2009
IEEE
15 years 6 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...