Search Sciweavers | Sciweavers

3514 search results - page 29 / 703

» Evolving Specification Engineering

152

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 10 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

125

click to vote

APSEC
1995
IEEE

77views Software Engineering» more APSEC 1995»

From Scenarios to Timed Automata: Building Specifications from Users Requirements

15 years 9 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

118

click to vote

ISSTA
2010
ACM

168views Software Engineering» more ISSTA 2010»

Generating test cases for specification mining

15 years 8 months ago

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

Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...

claim paper

Read More »

126

click to vote

ECSA
2010
Springer

102views Software Engineering» more ECSA 2010»

Specification of modelling languages in a flexible meta-model architecture

15 years 7 months ago

Download edusymp.big.tuwien.ac.at

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

claim paper

Read More »

132

click to vote

RE
2002
Springer

111views Software Engineering» more RE 2002»

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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers