Sciweavers

2118 search results - page 158 / 424
» Execution of A Requirement Model in Software Development
Sort
View
MASCOTS
2003
15 years 6 months ago
Creating Realistic BGP Models
Modeling the Internet infrastructure is a challenging endeavor. Complex interactions between protocols, increasing traffic volumes and the irregular structure of the Internet lea...
Xenofontas A. Dimitropoulos, George F. Riley
159
Voted
ICWE
2009
Springer
15 years 9 months ago
Conceptual Modeling of Multimedia Search Applications Using Rich Process Models
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
Alessandro Bozzon, Marco Brambilla, Piero Fraterna...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 10 months 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...
ECMDAFA
2010
Springer
135views Hardware» more  ECMDAFA 2010»
15 years 9 months ago
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...
Hugo Bruneliere, Jordi Cabot, Cauê Clasen, F...
METRICS
2005
IEEE
15 years 10 months ago
Measuring Productivity on High Performance Computers
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
Marvin V. Zelkowitz, Victor R. Basili, Sima Asgari...