Sciweavers

1537 search results - page 88 / 308
» Domain-Specific Software Component Models
Sort
View
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
15 years 10 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...
ICST
2010
IEEE
15 years 2 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
ICSE
2007
IEEE-ACM
16 years 4 months ago
Compatibility and Regression Testing of COTS-Component-Based Software
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
Leonardo Mariani, Mauro Pezzè, Sofia Papagi...
ICEIS
2005
IEEE
15 years 9 months ago
COCO: Composition Model and Composition Model Implementation
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
Naiyana Tansalarak, Kajal T. Claypool
EUROPAR
2001
Springer
15 years 8 months ago
A Software Architecture for User Transparent Parallel Image Processing on MIMD Computers
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
Frank J. Seinstra, Dennis Koelma, Jan-Mark Geusebr...