Sciweavers

3091 search results - page 256 / 619
» The Microsoft Relational Engine
Sort
View
FASE
2001
Springer
15 years 11 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
PFE
2001
Springer
15 years 11 months ago
Representing Product Family Architectures in an Extensible Architecture Description Language
Abstract. Product family architectures need to be captured much like “regular” software architectures. Unfortunately, representations for product family architectures are scarc...
Eric M. Dashofy, André van der Hoek
SEKE
2001
Springer
15 years 11 months ago
Implementing the Experience Factory concepts as a set of Experience Bases
This talk takes the Experience Factory concept, which was originally developed as organizational support for software development and generalizes it to organizational support for ...
Victor R. Basili
APAQS
2000
IEEE
15 years 11 months ago
Software Quality Prediction Using Mixture Models with EM Algorithm
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The Expectation-Maximum likelihood (E...
Ping Guo, Michael R. Lyu
163
Voted
IWSSD
2000
IEEE
15 years 11 months ago
Using XML to Build Consistency Rules for Distributed Specifications
The work presented in this paper is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an...
Andrea Zisman, Wolfgang Emmerich, Anthony Finkelst...