1759 search results - page 138 / 352 » Overview of Generative Software Development |
107
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
105
click to vote
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
144
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
133
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
126
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Mass Spectrometry coupled to Liquid Chromatography (LC-MS) is commonly used to analyze the protein content of biological samples in large scale studies. The data resul...