3706 search results - page 248 / 742 » The Transformational Approach to Program Development |
100
click to vote
ISIM
2007
15 years 4 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
132
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
117
Voted
SPLC
2010
15 years 4 months ago
2010
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...
148
click to vote
SCP
2008
15 years 3 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
117
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...