Sciweavers

9006 search results - page 20 / 1802

» Modeling Software

18

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

14 years 2 months ago

Explanation-based Scenario Generation for Reactive System Models

Download ase.informatik.uni-essen.de

Robert J. Hall

claim paper

Read More »

29

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

14 years 2 months ago

Descriptive Complexity and Model Checking

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

21

ICFEM
1997
Springer

104views Software Engineering» more ICFEM 1997»

A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations

14 years 2 months ago

A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations

Download se.uwaterloo.ca

Daniel M. Berry, M. Weber

claim paper

Read More »

22

ICSI
1990

92views Software Engineering» more ICSI 1990»

A Logical Data Model for Integrated Geographical Databases

14 years 2 months ago

A Logical Data Model for Integrated Geographical Databases

Download www.mat.uniroma2.it

M. Gargano, Enrico Nardelli

claim paper

Read More »

26

ISSTA
2010
ACM

177views Software Engineering» more ISSTA 2010»

Modeling consumer-perceived web application fault severities for testing

14 years 2 months ago

Modeling consumer-perceived web application fault severities for testing

Download www.cs.virginia.edu

Kinga Dobolyi, Westley Weimer

claim paper

Read More »

« Prev « First page 20 / 1802 Last » Next »