Sciweavers

4799 search results - page 422 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
SEW
2006
IEEE
16 years 25 days ago
Goal-Driven Software Development
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
Ingo Schnabel, Markus Pizka
ADAEUROPE
2003
Springer
16 years 2 days ago
An Invitation to Ada 2005
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
Pascal Leroy
FSTTCS
2001
Springer
15 years 11 months ago
On Clustering Using Random Walks
Abstract. We propose a novel approach to clustering, based on deterministic analysis of random walks on the weighted graph associated with the clustering problem. The method is cen...
David Harel, Yehuda Koren
PEPM
2012
ACM
14 years 2 months ago
Scala-virtualized
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
Adriaan Moors, Tiark Rompf, Philipp Haller, Martin...
ICSE
2008
IEEE-ACM
16 years 7 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,...