Sciweavers

22698 search results - page 10 / 4540

» Modeling in Software Engineering

14

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

13 years 11 months ago

Explanation-based Scenario Generation for Reactive System Models

Download ase.informatik.uni-essen.de

Robert J. Hall

claim paper

Read More »

21

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

13 years 11 months ago

Descriptive Complexity and Model Checking

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

15

ICFEM
1997
Springer

104views Software Engineering» more ICFEM 1997»

A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations

13 years 11 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 »

16

ICSI
1990

92views Software Engineering» more ICSI 1990»

A Logical Data Model for Integrated Geographical Databases

13 years 11 months ago

A Logical Data Model for Integrated Geographical Databases

Download www.mat.uniroma2.it

M. Gargano, Enrico Nardelli

claim paper

Read More »

17

ISSTA
2010
ACM

177views Software Engineering» more ISSTA 2010»

Modeling consumer-perceived web application fault severities for testing

13 years 11 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 10 / 4540 Last » Next »