1432 search results - page 150 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
125
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
130
click to vote
SE
2008
15 years 5 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
164
Voted
WISES
2003
15 years 5 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
130
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
159
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...