Sciweavers

2682 search results - page 130 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
14 years 7 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
SIGSOFT
2001
ACM
15 years 10 months ago
An empirical study on the utility of formal routines to transfer knowledge and experience
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
Reidar Conradi, Tore Dybå
COMPLIFE
2006
Springer
15 years 1 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga
ISPW
1994
IEEE
15 years 2 months ago
Issues in process architecture
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
Dewayne E. Perry
ENTCS
2008
118views more  ENTCS 2008»
14 years 10 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini