Sciweavers

345 search results - page 52 / 69
» A New Software Development Project Using an Old Game
Sort
View
FM
2003
Springer
104views Formal Methods» more  FM 2003»
14 years 26 days ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
ELPUB
2007
ACM
13 years 11 months ago
Openness in Higher Education: Open Source, Open Standards, Open Access
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
Brian Kelly, Scott Wilson, Randy Metcalfe
EWSA
2004
Springer
14 years 1 months ago
Generation and Enactment of Controllers for Business Architectures Using MDA
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
Günter Graw, Peter Herrmann
BMCBI
2007
151views more  BMCBI 2007»
13 years 7 months ago
Minimus: a fast, lightweight genome assembler
Background: Genome assemblers have grown very large and complex in response to the need for algorithms to handle the challenges of large whole-genome sequencing projects. Many of ...
Daniel D. Sommer, Arthur L. Delcher, Steven L. Sal...
ICSOC
2005
Springer
14 years 1 months ago
Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
Massimiliano Colombo, Elisabetta Di Nitto, Massimi...