1481 search results - page 64 / 297 » Enriching the Software Development Process by Formal Methods |
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
123
click to vote
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
139
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Micro- and macroarray technologies help acquire thousands of gene expression patterns covering important biological processes during plant ontogeny. Particularly, fait...
130
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Current imaging methods such as Magnetic Resonance Imaging (MRI), Confocal microscopy, Electron Microscopy (EM) or Selective Plane Illumination Microscopy (SPIM) yield...
133
click to vote
ASWEC
2001
IEEE
15 years 7 months ago
2001
IEEE
For many small software companies, full-scale software process improvement (SPI) initiatives are often out of reach due to prohibitive costs and lack of SPI knowledge. However, to...