We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
In this short paper, we present the outline of a process for developing design products. The advantage of having a process for these types of projects is that it allows us to focu...
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
For there to be order-of-magnitude improvements in the quality of software and the productivity of software development and evolution there needs to be a much more strategic appro...
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...