Sciweavers

828 search results - page 35 / 166
» Software engineering research: from cradle to grave
Sort
View
127
Voted
ETFA
2008
IEEE
15 years 3 months ago
Functional and structural properties in the Model-Driven Engineering approach
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
Daniela Cancila, Roberto Passerone
136
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
The Quest for Software Components Quality
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
Miguel Goulão, Fernando Brito e Abreu
ICSE
2007
IEEE-ACM
16 years 2 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
ICSE
2008
IEEE-ACM
16 years 2 months ago
Effecting change: coordination in large-scale software development
Large-scale software development requires coordination within and between very large engineering teams, each of which may be located in different locations and time zones. Numerou...
Andrew Begel
118
Voted
WCRE
1993
IEEE
15 years 6 months ago
A Practical Program Transformation System for Reverse Engineering
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
M. Ward, K. Bennett