Search Sciweavers | Sciweavers

15824 search results - page 4 / 3165

» Specialising in Software Engineering

click to vote

FASE
2001
Springer

126views Software Engineering» more FASE 2001»

A Logic for the Java Modeling Language JML

15 years 4 months ago

Download www.cs.ru.nl

Abstract. This paper describes a specialised logic for proving speciﬁcations in the Java Modeling Language (JML). JML is an interface speciﬁcation language for Java. It allows ...

Bart Jacobs, Erik Poll

claim paper

Read More »

click to vote

PEPM
1998
ACM

105views Software Engineering» more PEPM 1998»

Inherited Limits

15 years 3 months ago

Download repository.readscheme.org

We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...

Torben Æ. Mogensen

claim paper

Read More »

240

click to vote

ICSE
2012
IEEE-ACM

266views Software Engineering» more ICSE 2012»

Overcoming the challenges in cost estimation for distributed software projects

13 years 2 months ago

Download apollo.smu.edu.sg

Narayan Ramasubbu, Rajesh Krishna Balan

claim paper