Search Sciweavers | Sciweavers

3514 search results - page 29 / 703

» Evolving Specification Engineering

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

13 years 11 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

click to vote

APSEC
1995
IEEE

77views Software Engineering» more APSEC 1995»

From Scenarios to Timed Automata: Building Specifications from Users Requirements

13 years 11 months ago

Download www.cis.upenn.edu

Stéphane S. Somé, Rachida Dssouli, J...

claim paper

Read More »

click to vote

ISSTA
2010
ACM

168views Software Engineering» more ISSTA 2010»

Generating test cases for specification mining

13 years 9 months ago

Download www.st.cs.uni-saarland.de

Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...

claim paper

Read More »

click to vote

ECSA
2010
Springer

102views Software Engineering» more ECSA 2010»

Specification of modelling languages in a flexible meta-model architecture

13 years 9 months ago

Download edusymp.big.tuwien.ac.at

Liping Mu, Terje Gjøsæter, Andreas Pr...

claim paper

Read More »

click to vote

RE
2002
Springer

111views Software Engineering» more RE 2002»

Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers