1137 search results - page 140 / 228 » Disciplined Methods of Software Specification: A Case Study |
103
click to vote
IWPC
2005
IEEE
15 years 3 months ago
2005
IEEE
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
MOR
2006
14 years 10 months ago
2006
: We study general state-space Markov chains that depend on a parameter, say, . Sufficient conditions are established for the stationary performance of such a Markov chain to be di...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
IJES
2008
14 years 10 months ago
2008
In this article, we present an overview of the Artemis workbench, which provides modelling and simulation methods and tools for efficient performance evaluation and exploration of ...
FASE
2006
Springer
15 years 1 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...