1326 search results - page 148 / 266 » Semantic Coherence in Software Engineering |
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
QSIC
2005
IEEE
14 years 4 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
QSIC
2005
IEEE
14 years 4 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
TMRA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...