Sciweavers

BMCBI
2008
77views more  BMCBI 2008»
13 years 11 months ago
Stochastic models for the in silico simulation of synaptic processes
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
FORTE
1990
14 years 18 days ago
Step-wise Refinement Design Example Using LOTOS
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...
Luís Ferreira Pires, Wanderley Lopes de Sou...
FORTE
1996
14 years 23 days ago
Formal Description Techniques - How Formal and Descriptive are they?
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...
Manfred Broy
EICS
2009
ACM
14 years 3 months ago
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
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...
Philippe A. Palanque, Marco Winckler, Jean-Fran&cc...
IPPS
2000
IEEE
14 years 3 months ago
Automatic Implementation of Distributed Systems Formal Specifications
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,...
Luiz Henrique Castelo Branco, Antônio Franci...
RE
2001
Springer
14 years 3 months ago
Requirements for Evolving Systems: A Telecommunications Perspective
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
Pamela Zave