Sciweavers

8083 search results - page 42 / 1617
» A Formalization of Software Architecture
Sort
View
ICSE
1998
IEEE-ACM
15 years 4 months ago
Formalizing Design Patterns
Tommi Mikkonen
63
Voted
CSMR
1997
IEEE
15 years 4 months ago
Formal Methods
Michael Löwe
71
Voted
WER
1998
Springer
15 years 4 months ago
Guidelines From Organizational Requirements to Formal Specification
Fernanda M. R. Alencar, Jaelson Castro
86
Voted
ICSE
1994
IEEE-ACM
15 years 4 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke