Sciweavers

452 search results - page 4 / 91
» The business case for automated software engineering
Sort
View
XPU
2007
Springer
15 years 3 months ago
Predicting Software Defect Density: A Case Study on Automated Static Code Analysis
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
Artem Marchenko, Pekka Abrahamsson
TPHOL
1998
IEEE
15 years 1 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
EATIS
2007
ACM
15 years 1 months ago
Analysing and enhancing business processes and IT-systems for mobile workforce automation: a framework approach
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
Volker Gruhn, André Köhler
SEAA
2008
IEEE
15 years 4 months ago
Migrating Industrial Systems towards Software Product Lines: Experiences and Observations through Case Studies
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...
Hongyu Pei Breivold, Stig Larsson, Rikard Land
ICSEA
2008
IEEE
15 years 4 months ago
Analyzing Software Evolvability of an Industrial Automation Control System: A Case Study
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...