Search Sciweavers | Sciweavers

9974 search results - page 106 / 1995

» Software Interconnection Models

106

Voted

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

15 years 1 months ago

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

click to vote

SOFTWARE
1998

71views Applied Computing» more SOFTWARE 1998»

Read My Lips: No New Models!

15 years 1 months ago

Download www.processimpact.com

Karl E. Wiegers

claim paper

Read More »

click to vote

DAGSTUHL
2010

226views Software Engineering» more DAGSTUHL 2010»

Modeling

15 years 9 days ago

Download www.cis.nctu.edu.tw

Markus Geyer, Benjamin Hiller, Sascha Meinert

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 9 days ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

KBSE
2010
IEEE

145views Software Engineering» more KBSE 2010»

Automated model grouping

15 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers