Sciweavers

22698 search results - page 149 / 4540
» Modeling in Software Engineering
Sort
View
132
Voted
DFG
2004
Springer
15 years 7 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
135
Voted
ISSRE
2007
IEEE
15 years 5 months ago
Data Mining Techniques for Building Fault-proneness Models in Telecom Java Software
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
Erik Arisholm, Lionel C. Briand, Magnus Fuglerud
109
Voted
SIGSOFT
2003
ACM
15 years 8 months ago
Evaluating and improving the automatic analysis of implicit invocation systems
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
Jeremy S. Bradbury, Jürgen Dingel
138
Voted
CSCWD
2005
Springer
15 years 9 months ago
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
Marco Aurélio Gerosa, Mariano Gomes Pimente...
APSEC
2007
IEEE
15 years 9 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...