Sciweavers

4151 search results - page 179 / 831
» Language Driven System Design
Sort
View
OOPSLA
2005
Springer
15 years 9 months ago
Removing duplication from java.io: a case study using traits
Code duplication is a serious problem with no easy solution, even in industrial-strength code. Single inheritance cannot provide for effective code reuse in all situations, and s...
Emerson R. Murphy-Hill, Philip J. Quitslund, Andre...
INFSOF
2000
91views more  INFSOF 2000»
15 years 3 months ago
An operational approach to the design of workflow systems
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano
SIGCSE
2012
ACM
513views Education» more  SIGCSE 2012»
13 years 11 months ago
Calico: a multi-programming-language, multi-context framework designed for computer science education
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
Douglas S. Blank, Jennifer S. Kay, James B. Marsha...
HOPL
2007
15 years 7 months ago
The development of the Emerald programming language
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
Andrew P. Black, Norman C. Hutchinson, Eric Jul, H...
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 5 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...