Sciweavers

2897 search results - page 116 / 580
» Test Case Integration: From Components to Systems
Sort
View
ICSE
2003
IEEE-ACM
14 years 3 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
ICEIS
2003
IEEE
14 years 3 months ago
Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...
Petia Wohed, Erik Perjons, Marlon Dumas, Arthur H....
ISSTA
2009
ACM
14 years 4 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
FOIKS
2004
Springer
14 years 1 months ago
Simplification of Integrity Constraints for Data Integration
When two or more databases are combined into a global one, integrity may be violated even when each database is consistent with its own local integrity constraints. Efficient metho...
Henning Christiansen, Davide Martinenghi
CBSE
2005
Springer
14 years 3 months ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...