Sciweavers

2369 search results - page 68 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
IWSAPF
2000
15 years 10 months ago
Software Connectors and Refinement in Family Architectures
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
Alexander Egyed, Nikunj R. Mehta, Nenad Medvidovic
BIRTHDAY
2006
Springer
15 years 10 months ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke
SCSC
2007
15 years 7 months ago
Virtual prototyping as a mechanism for simulation-based design
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
Roger Dougal, Blake Langland, Antonello Monti
CAI
2006
Springer
15 years 6 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
WSC
2008
15 years 8 months ago
Extending DEVS to support multiple occurrence in component-based simulation
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...
Olivier Dalle, Bernard P. Zeigler, Gabriel A. Wain...