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

15 years 3 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

15 years 2 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

15 years 1 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

15 years 9 days 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers