4290 search results - page 271 / 858 » Formal Approaches to Teamwork |
184
click to vote
IFM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
188
click to vote
IFM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
155
click to vote
DSVIS
2003
Springer
16 years 14 hour ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
176
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
185
Voted
RE
2001
Springer
15 years 11 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...