Sciweavers

3514 search results - page 14 / 703

» Evolving Specification Engineering

19

ICSE
2007
IEEE-ACM

95views Software Engineering» more ICSE 2007»

Information Hiding and Visibility in Interface Specifications

14 years 7 months ago

Information Hiding and Visibility in Interface Specifications

Download sct.inf.ethz.ch

Gary T. Leavens, Peter Müller

claim paper

Read More »

14

SCAM
2009
IEEE

123views Software Engineering» more SCAM 2009»

Recovering Grammar Relationships for the Java Language Specification

14 years 2 months ago

Recovering Grammar Relationships for the Java Language Specification

Download www.uni-koblenz.de

Ralf Lämmel, Vadim Zaytsev

claim paper

Read More »

15

KBSE
2009
IEEE

110views Software Engineering» more KBSE 2009»

Automatic Generation of Object Usage Specifications from Large Method Traces

14 years 2 months ago

Automatic Generation of Object Usage Specifications from Large Method Traces

Download www.lst.inf.ethz.ch

Michael Pradel, Thomas R. Gross

claim paper

Read More »

22

CBSE
2009
Springer

78views Software Engineering» more CBSE 2009»

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

14 years 2 months ago

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

Download secure.ucd.ie

Joseph R. Kiniry, Fintan Fairmichael

claim paper

Read More »

23

SEKE
2009
Springer

141views Software Engineering» more SEKE 2009»

Improving Natural Language Specifications with Ontologies

14 years 2 months ago

Improving Natural Language Specifications with Ontologies

Download www.ipd.uka.de

Sven J. Korner, Torben Brumm

claim paper

Read More »

« Prev « First page 14 / 703 Last » Next »