Sciweavers

15155 search results - page 281 / 3031
» System Software
Sort
View
DFG
2004
Springer
15 years 10 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...
AMAST
2008
Springer
15 years 8 months ago
Constant Complements, Reversibility and Universal View Updates
The algebraic specification of information systems (including
Michael Johnson, Robert D. Rosebrugh
HICSS
2006
IEEE
118views Biometrics» more  HICSS 2006»
16 years 20 days ago
Exploiting Mobile Agents for Structured Distributed Software-Implemented Fault Injection
Embedded distributed real-time systems are traditionally used in safety-critical application areas such as avionics, healthcare, and the automotive sector. Assuring dependability ...
Thomas M. Galla, Karin Anna Hummel, Burkhard Peer
AUTONOMICS
2008
ACM
15 years 8 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
CSMR
2004
IEEE
15 years 10 months ago
Legacy Software Evaluation Model for Outsourced Maintainer
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...
Cristiane S. Ramos, Káthia Marçal de...