Sciweavers

7961 search results - page 21 / 1593

» Input-Output Model Programs

24

TOOLS
1998
IEEE

73views Programming Languages» more TOOLS 1998»

Modeling Complex Behavior Simply or How Much is Too Much?

14 years 2 months ago

Modeling Complex Behavior Simply or How Much is Too Much?

Download www.uml.org.cn

Stephen J. Mellor

claim paper

Read More »

19

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 »

26

TOOLS
1997
IEEE

81views Programming Languages» more TOOLS 1997»

Introduction to the Unified Modeling Language

14 years 2 months ago

Introduction to the Unified Modeling Language

Download www.win.tue.nl

Richard Thomas

claim paper

Read More »

24

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

14 years 1 months ago

Local Model Checking for Context-Free Processes

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

30

IFIP
1994
Springer

147views Programming Languages» more IFIP 1994»

Towards a model of exploration in computer-aided design

14 years 1 months ago

Towards a model of exploration in computer-aided design

Download mason.gmu.edu

John S. Gero

claim paper

Read More »

« Prev « First page 21 / 1593 Last » Next »