Sciweavers

13026 search results - page 251 / 2606
» Probabilistic Relational Models
Sort
View
ICFEM
2003
Springer
15 years 11 months ago
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
CAISE
2009
Springer
15 years 11 months ago
Using Macromodels to Manage Collections of Related Models
Rick Salay, John Mylopoulos, Steve M. Easterbrook
VLDB
1992
ACM
124views Database» more  VLDB 1992»
15 years 10 months ago
A Multi-Resolution Relational Data Model
Robert L. Read, Donald S. Fussell, Abraham Silbers...
AMOST
2007
ACM
15 years 10 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...