Sciweavers

1759 search results - page 45 / 352
» Overview of Generative Software Development
Sort
View
ICSE
2008
IEEE-ACM
16 years 2 months ago
MontiCore: a framework for the development of textual domain specific languages
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
Bernhard Rumpe, Hans Grönniger, Holger Krahn,...
95
Voted
FUIN
2008
81views more  FUIN 2008»
15 years 2 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
PSSE
2004
Springer
15 years 7 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan
WSC
1997
15 years 3 months ago
A General Framework for Large Scale Systems Development
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
Aleks Göllü, Farokh H. Eskafi
CODES
2005
IEEE
15 years 7 months ago
Developing design tools for biological and biomedical applications of micro- and nano-technology
This short paper, an update of [75], is intended to provide a brief summary and extensive references on biological applications for micro- and nano-machining, as well as the compu...
Jacob White