708 search results - page 2 / 142 » A software engineering approach and tool set for developing ... |
ICWE
2009
Springer
14 years 9 days ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 4 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
WWW
2004
ACM
14 years 6 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
ICWE
2009
Springer
14 years 9 days ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
SIGADA
2005
Springer
13 years 11 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...