Sciweavers

1164 search results - page 89 / 233
» Using CBR for Semantic Analysis of Software Specifications
Sort
View
CAISE
2004
Springer
15 years 5 months ago
Ontologies for Analysis and Improvement of Business Process Quality in a Virtual Enterprise
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...
Alexandra Galatescu, Taisia Greceanu
COMPSAC
2010
IEEE
14 years 10 months ago
A Consistency Model for Identity Information in Distributed Systems
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
Thorsten Höllrigl, Jochen Dinger, Hannes Hart...
EUROMICRO
2003
IEEE
15 years 5 months ago
Object-Oriented Mutation to Asses the Quality of Tests
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
Anna Derezinska
ERSHOV
2009
Springer
15 years 3 months ago
Anti-unification Algorithms and Their Applications in Program Analysis
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...
ICECCS
1996
IEEE
109views Hardware» more  ICECCS 1996»
15 years 4 months ago
Dynamically Reconfigurable Embedded Software - Does It Make Sense?
A dynamically reconfigurable real-time software (DRRTS) paradigm can be used effectively in the design of embedded systems to provide many major advantages over conventional softw...
David B. Stewart, Gaurav Arora