Sciweavers

274 search results - page 22 / 55
» A megamodel for Software Process Line modeling and evolution
Sort
View
ERSHOV
2006
Springer
15 years 1 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
IADIS
2004
14 years 11 months ago
Software for self-government
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
Thomas B. Senior, Brian Warboys
SOPR
1998
117views more  SOPR 1998»
14 years 9 months ago
Software processes: a retrospective and a path to the future
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
Gianpaolo Cugola, Carlo Ghezzi
ISPW
2005
IEEE
15 years 3 months ago
Automatically Analyzing Software Processes: Experience Report
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Os...
FOAL
2009
ACM
15 years 4 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory