Search Sciweavers | Sciweavers

1312 search results - page 8 / 263

» Embedded contract languages

128

click to vote

TOOLS
2010
IEEE

202views Programming Languages» more TOOLS 2010»

Contract-Driven Testing of JavaScript Code

15 years 8 months ago

Download proglang.informatik.uni-freiburg.de

JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...

Phillip Heidegger, Peter Thiemann

claim paper

Read More »

104

click to vote

MONTEREY
2007
Springer

150views Embedded Systems» more MONTEREY 2007»

Ambiguity in Natural Language Requirements Documents

15 years 9 months ago

Download www.student.cs.uwaterloo.ca

Daniel M. Berry

claim paper

Read More »

109

click to vote

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

15 years 4 months ago

Download www-verimag.imag.fr

Karine Altisen, Matthieu Moy

claim paper

Read More »

123

click to vote

SAC
2010
ACM

155views Applied Computing» more SAC 2010»

Checking concurrent contracts with aspects

15 years 10 months ago

Download www.comlab.ox.ac.uk

The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identiﬁed as cross-cutting concerns [1...

Eric Kerfoot, Steve McKeever

claim paper

Read More »

click to vote

PLDI
1998
ACM

65views Programming Languages» more PLDI 1998»

The Implementation and Evaluation of Fusion and Contraction in Array Languages

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers