Sciweavers

9227 search results - page 134 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
ACRI
2004
Springer
15 years 10 months ago
Cell-Oriented Modeling of In Vitro Capillary Development
Abstract. We introduce a Cellular Potts model (a cellular-automatonbased Monte-Carlo model) of in vitro capillary development, or angiogenesis. Our model derives from a recent cont...
Roeland Merks, Stuart A. Newman, James A. Glazier
CLEIEJ
2006
110views more  CLEIEJ 2006»
15 years 4 months ago
Requirements Engineering Contributions on the Development of Educational Software for the Blind or People with Impaired Vision -
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
Victor Francisco Araya Santander, Dorisvaldo Rodri...
ICST
2009
IEEE
15 years 2 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
179
Voted
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
15 years 10 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
15 years 10 months ago
Increase of Potential Intellectual Bandwidth in a Scientific Community through Implementation of an End-User Information System
Qureshi, et al. (2002) [1] presented a case study where they used a framework, the Intellectual Bandwidth Model to measure an organization’s ability to create value. The model c...
Christian Bach, Salvatore Belardo, Jing Zhang