Sciweavers

22698 search results - page 187 / 4540
» Modeling in Software Engineering
Sort
View
99
Voted
KBSE
1995
IEEE
15 years 7 months ago
Towards an Epistemology for Software Representations
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activ...
Christopher A. Welty
130
Voted
ESEM
2007
ACM
15 years 5 months ago
An Approach to Outlier Detection of Software Measurement Data using the K-means Clustering Method
The quality of software measurement data affects the accuracy of project manager’s decision making using estimation or prediction models and the understanding of real project st...
Kyung-A Yoon, Oh-Sung Kwon, Doo-Hwan Bae
123
Voted
ICSE
2009
IEEE-ACM
16 years 4 months ago
Learning operational requirements from goal models
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
Alessandra Russo, Dalal Alrajeh, Jeff Kramer, Seba...
141
Voted
APAQS
2001
IEEE
15 years 7 months ago
A Tailored Capability Model for Inspection Process Improvement
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
Ilkka Tervonen, Juha Iisakka, Lasse Harjumaa
134
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro