504 search results - page 27 / 101 » Modular System Development with Pullbacks |
160
Voted
MODELS
2010
Springer
15 years 25 days ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
107
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
123
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Mass spectrometry (MS) coupled with online separation methods is commonly applied for differential and quantitative profiling of biological samples in metabolomic as w...
WEBNET
1998
15 years 3 months ago
1998
: This paper presents the modular training system MTS, the PLATINUM1 -Net, a worldwide network for innovative learning and advanced training, and distributed collaborative training...
119
Voted
ESEM
2008
ACM
15 years 4 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...