Sciweavers

555 search results - page 91 / 111
» Software, regulation, and domain specificity
Sort
View
CACM
2010
90views more  CACM 2010»
13 years 10 months ago
The Singularity system
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
James R. Larus, Galen C. Hunt
SAC
2006
ACM
13 years 9 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
CORR
2002
Springer
104views Education» more  CORR 2002»
13 years 9 months ago
Design Patterns for Functional Strategic Programming
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
Ralf Lämmel, Joost Visser
NAR
2007
105views more  NAR 2007»
13 years 9 months ago
Onto-Tools: new additions and improvements in 2006
Onto-Tools is a freely available web-accessible software suite, composed of an annotation database and nine complementary data-mining tools. This article describes a new tool, Ont...
Purvesh Khatri, Calin Voichita, Khalid Kattan, Nad...
ACMSE
2010
ACM
13 years 8 months ago
Automatic generation of model traversals from metamodel definitions
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
Tomaz Lukman, Marjan Mernik, Zekai Demirezen, Barr...