467 search results - page 70 / 94 » Partial Behavioural Models for Requirements and Early Design |
CORR
2007
Springer
13 years 8 months ago
2007
Springer
: User’s perception of product, by essence subjective, is a major topic in marketing and industrial design. Many methods, based on users’ tests, are used so as to characterise ...
ENTCS
2006
13 years 8 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
ZUM
1997
Springer
14 years 19 days ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
SMA
2005
ACM
14 years 2 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...