Sciweavers

1988 search results - page 11 / 398
» Engineering formal metatheory
Sort
View
ICSE
1998
IEEE-ACM
15 years 1 months ago
Formalizing Design Patterns
Tommi Mikkonen
CSMR
1997
IEEE
15 years 1 months ago
Formal Methods
Michael Löwe
55
Voted
WER
1998
Springer
15 years 1 months ago
Guidelines From Organizational Requirements to Formal Specification
Fernanda M. R. Alencar, Jaelson Castro