3828 search results - page 120 / 766 » Proof-Based System Engineering Using a Virtual System Model |
125
Voted
ICSE
1997
IEEE-ACM
15 years 9 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
157
click to vote
BIOCOMP
2006
15 years 6 months ago
2006
We report on the development of a relational genomic search engine that integrates search of structured biological data and biomedical literature. After identifying an optimal prep...
146
click to vote
MOBICOM
1999
ACM
15 years 9 months ago
1999
ACM
Due to the lack of a generic platform for location- and spatial-aware systems, many basic services have to be reimplemented in each application that uses spatial-awareness. A coop...
119
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
In model-driven engineering, metamodels may get lost over time resulting in the inability to load and view existing model instances. MARS is a system that recovers metamodels from...
142
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...