Search Sciweavers | Sciweavers

4469 search results - page 16 / 894

» A Language for Role Specifications

153

Voted

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

16 years 4 months ago

Download cs.uwindsor.ca

Rahmatullah Hafiz, Richard A. Frost

claim paper

Read More »

138

click to vote

MODELS
2009
Springer

101views Natural Language Processing» more MODELS 2009»

Polymorphic Scenario-Based Specification Models: Semantics and Applications

16 years 2 months ago

Download www.cs.colostate.edu

Shahar Maoz

claim paper

Read More »

173

click to vote

ICALP
2001
Springer

102views Programming Languages» more ICALP 2001»

Distributed Controller Synthesis for Local Specifications

15 years 12 months ago

Download www.comp.nus.edu.sg

P. Madhusudan, P. S. Thiagarajan

claim paper

Read More »

152

click to vote

ECOOP
1999
Springer

82views Programming Languages» more ECOOP 1999»

Formal Specification and Prototyping of CORBA Systems

15 years 11 months ago

Download www.ifs.uni-linz.ac.at

Rémi Bastide, Ousmane Sy, Philippe A. Palan...

claim paper

Read More »

158

click to vote

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers