Sciweavers

7139 search results - page 50 / 1428

» Language Engineering in Practice

105

Voted

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

Separation Logic Contracts for a Java-Like Language with Fork/Join

15 years 5 months ago

Separation Logic Contracts for a Java-Like Language with Fork/Join

Download www.cs.ru.nl

Christian Haack, Clément Hurlin

claim paper

Read More »

107

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

15 years 5 months ago

Modeling with the Timing Definition Language (TDL)

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

92

GTTSE
2007
Springer

141views Software Engineering» more GTTSE 2007»

Adding Dimension Analysis to Java as a Composable Language Extension

15 years 5 months ago

Adding Dimension Analysis to Java as a Composable Language Extension

Download www.msse.umn.edu

Eric Van Wyk, Yogesh Mali

claim paper

Read More »

106

IWPC
2010
IEEE

154views Software Engineering» more IWPC 2010»

Natural Language Parsing of Program Element Names for Concept Extraction

15 years 1 months ago

Natural Language Parsing of Program Element Names for Concept Extraction

Download icpc2010.di.uminho.pt

Surafel Lemma Abebe, Paolo Tonella

claim paper

Read More »

134

TACS
2001
Springer

114views Software Engineering» more TACS 2001»

The UDP Calculus: Rigorous Semantics for Real Networking

15 years 7 months ago

The UDP Calculus: Rigorous Semantics for Real Networking

Download www.cl.cam.ac.uk

Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...

Andrei Serjantov, Peter Sewell, Keith Wansbrough

claim paper

Read More »

« Prev « First page 50 / 1428 Last » Next »