Sciweavers

3726 search results - page 293 / 746
» A structured definition of the modeling process
Sort
View
FECS
2008
123views Education» more  FECS 2008»
15 years 8 months ago
Transition from a Waterfall-Based Capstone Course to an Agile Model
We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...
Chris Lüer
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
16 years 21 days ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
CCE
2008
15 years 7 months ago
Predictive modeling of ionic permselectivity of porous media
Transport and separation processes in ionic systems located in the porous medium are investigated. The software for the modeling of the combined electroosmotic, migration, diffusi...
Libor Seda, Juraj Kosek
HICSS
2002
IEEE
142views Biometrics» more  HICSS 2002»
16 years 11 days ago
Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
Ulrich Frank
ANSS
2008
IEEE
16 years 1 months ago
Executable Protocol Models as a Requirements Engineering Tool
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
Ashley T. McNeile, Ella E. Roubtsova