Sciweavers

36320 search results - page 512 / 7264
» From Code to Models
Sort
View
JASIS
2010
103views more  JASIS 2010»
15 years 5 months ago
From artifacts to aggregations: Modeling scientific life cycles on the semantic Web
Alberto Pepe, Matthew S. Mayernik, Christine L. Bo...
SIGSOFT
2010
ACM
15 years 4 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka