1481 search results - page 177 / 297 » Enriching the Software Development Process by Formal Methods |
110
Voted
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes the unification of two complementary approaches to software process research. The two approaches can be characterized as macroprocess research, focused on pheno...
153
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Tandem mass spectrometry (MS/MS) has emerged as the leading method for high- throughput protein identification in proteomics. Recent technological breakthroughs have d...
117
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
142
Voted
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
146
click to vote
DEBS
2010
ACM
15 years 7 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...