1481 search results - page 115 / 297 » Enriching the Software Development Process by Formal Methods |
143
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
123
Voted
IFM
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
114
Voted
XPU
2004
Springer
15 years 9 months ago
2004
Springer
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
150
click to vote
JSW
2008
15 years 3 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
126
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Establishment of peptide binding to Major Histocompatibility Complex class I (MHCI) is a crucial step in the development of subunit vaccines and prediction of such bin...