Sciweavers

2597 search results - page 67 / 520
» A Relational Approach to Support Software Architecture Analy...
Sort
View
ESEC
1997
Springer
15 years 10 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
ICSE
2010
IEEE-ACM
15 years 11 months ago
Flexible architecture conformance assessment with ConQAT
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...
Florian Deissenboeck, Lars Heinemann, Benjamin Hum...
ICSM
1996
IEEE
15 years 10 months ago
A Design Environment for Migrating Relational to Object Oriented Database Systems
: Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), ...
Jens H. Jahnke, Wilhelm Schäfer, Albert Z&uum...
KBSE
1997
IEEE
15 years 10 months ago
Modular Flow Analysis for Concurrent Software
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
Matthew B. Dwyer
CAISE
2006
Springer
15 years 9 months ago
An Efficient Approach to Support Querying Secure Outsourced XML Information
Abstract. Data security is well-recognized a vital issue in an information system that is supported in an outsource environment. However, most of conventional XML encryption propos...
Yin Yang, Wilfred Ng, Ho Lam Lau, James Cheng