Sciweavers

631 search results - page 36 / 127
» An Integrated Formal Model of Scenarios Based on Statecharts
Sort
View
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 1 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
ER
2004
Springer
119views Database» more  ER 2004»
15 years 3 months ago
Schema Evolution in Data Warehousing Environments - A Schema Transformation-Based Approach
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...
Hao Fan, Alexandra Poulovassilis
TPHOL
1998
IEEE
15 years 2 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
EJC
2008
14 years 11 months ago
Managing Co-reference Knowledge for Data Integration
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...
Carlo Meghini, Martin Doerr, Nicolas Spyratos
AMOST
2007
ACM
15 years 1 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz