Sciweavers

4919 search results - page 192 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
VSTTE
2005
Springer
15 years 12 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 6 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...
CBSE
2006
Springer
15 years 10 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...
ICSE
1995
IEEE-ACM
15 years 10 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...
ICSE
2007
IEEE-ACM
16 years 18 days 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