Sciweavers

2487 search results - page 138 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
MSR
2006
ACM
15 years 9 months ago
A lightweight approach to technical risk estimation via probabilistic impact analysis
An evolutionary development approach is increasingly commonplace in industry but presents increased difficulties in risk management, for both technical and organizational reasons...
Robert J. Walker, Reid Holmes, Ian Hedgeland, Pune...
128
Voted
FMOODS
2007
15 years 5 months ago
KeY: A Formal Method for Object-Oriented Systems
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
131
Voted
ICWE
2007
Springer
15 years 9 months ago
WebRatio 5: An Eclipse-Based CASE Tool for Engineering Web Applications
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
Roberto Acerbis, Aldo Bongio, Marco Brambilla, Ste...
162
Voted
IJCAT
2010
132views more  IJCAT 2010»
15 years 1 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
ASWEC
2000
IEEE
15 years 8 months ago
Formal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
J. Paul Gibson