Sciweavers

890 search results - page 79 / 178
» software 1998
Sort
View
ICFEM
1998
Springer
14 years 16 days ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
KBSE
1998
IEEE
14 years 16 days ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
WOSP
1998
ACM
14 years 1 months ago
Predicting memory use from a class diagram using dynamic information
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...
Gail C. Murphy, Ekaterina Saenko
ICSE
1998
IEEE-ACM
14 years 1 months ago
Consistency Management for Complex Applications
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
Peri L. Tarr, Lori A. Clarke
UAI
1998
13 years 10 months ago
Inferring Informational Goals from Free-Text Queries: A Bayesian Approach
People using consumer software applications typically do not use technical jargon when querying an online database of help topics. Rather, they attempt to communicate their goals ...
David Heckerman, Eric Horvitz