Sciweavers

8627 search results - page 176 / 1726
» Software Engineering Using RATionale
Sort
View
126
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
Tool Support for Distributed Inspection
Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
Filippo Lanubile, Teresa Mallardo
94
Voted
FMOODS
2006
15 years 4 months ago
KM3: A DSL for Metamodel Specification
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
Frédéric Jouault, Jean Bézivi...
CSMR
2000
IEEE
15 years 7 months ago
The Evolution Tree: A Maintenance-Oriented Software Development Model
In this paper we introduce the evolution tree - a software life-cycle model that describes software development as the continuous evolution of a software product. That is, we view...
Amir Tomer, Stephen R. Schach
124
Voted
HASE
1998
IEEE
15 years 6 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
149
Voted
TSE
2010
132views more  TSE 2010»
14 years 9 months ago
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
Jules White, Brian Doughtery, Douglas C. Schmidt