Sciweavers

12670 search results - page 33 / 2534

» Requirements Modeling

31

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

14 years 2 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

21

TOOLS
1997
IEEE

81views Programming Languages» more TOOLS 1997»

Requirements Modeling

14 years 2 months ago

Requirements Modeling

Download www.apl.jhu.edu

Tim Hastings

claim paper

Read More »

34

ICDE
1993
IEEE

117views Database» more ICDE 1993»

Data Quality Requirements Analysis and Modeling

14 years 2 months ago

Data Quality Requirements Analysis and Modeling

Download web.mit.edu

Richard Y. Wang, Henry B. Kon, Stuart E. Madnick

claim paper

Read More »

34

VLDB
1994
ACM

79views Database» more VLDB 1994»

A Requirement-Based Approach to Data Modeling and Re-Engineering

14 years 2 months ago

A Requirement-Based Approach to Data Modeling and Re-Engineering

Download www.vldb.org

Alice H. Muntz, Christian T. Ramiller

claim paper

Read More »

20

CAISE
2006
Springer

70views Information Technology» more CAISE 2006»

Modeling Mental States in Agent-Oriented Requirements Engineering

14 years 1 months ago

Modeling Mental States in Agent-Oriented Requirements Engineering

Download www.cse.yorku.ca

Alexei Lapouchnian, Yves Lespérance

claim paper

Read More »

« Prev « First page 33 / 2534 Last » Next »