Sciweavers

2578 search results - page 162 / 516
» A Family-Oriented Software Development Process for Engine Co...
Sort
View
APSEC
2001
IEEE
15 years 7 months ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
Colin J. Fidge
SAFECOMP
1998
Springer
15 years 7 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
IEEECIT
2006
IEEE
15 years 9 months ago
Integrating Configuration Management and Process Management Based on Life Cycle Control
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
Xin Peng, Wenyun Zhao, Chongxiang Zhu
157
Voted
TII
2010
155views Education» more  TII 2010»
14 years 10 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin
SEAA
2008
IEEE
15 years 9 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