Sciweavers

4919 search results - page 192 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
113
Voted
VSTTE
2005
Springer
15 years 9 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
ICSE
2004
IEEE-ACM
16 years 3 months ago
Making Resource Decisions for Software Projects
Software metrics should support managerial decision making in software projects. We explain how traditional metrics approaches, such as regression-based models for cost estimation...
Norman E. Fenton, William Marsh, Martin Neil, Patr...
179
Voted
CBSE
2006
Springer
15 years 7 months ago
A Prototype Tool for Software Component Services in Embedded Real-Time Systems
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
Frank Lüders, Daniel Flemström, Anders W...
120
Voted
ICSE
1995
IEEE-ACM
15 years 7 months ago
Characterizing and Assessing a Large-Scale Software Maintenance Organization
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
Lionel C. Briand, Walcélio L. Melo, Carolyn...
147
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
Assessing Changeability by Investigating the Propagation of Change Types
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
Beat Fluri