BMCBI
2008
13 years 4 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
FORTE
1990
13 years 5 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
FORTE
1996
13 years 5 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
EICS
2009
ACM
13 years 8 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
RE
2001
Springer
13 years 9 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...