Sciweavers

3514 search results - page 20 / 703
» Evolving Specification Engineering
Sort
View
FATES
2006
Springer
15 years 2 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
73
Voted
CODES
2000
IEEE
15 years 2 months ago
A generic tool set for application specific processor architectures
Frank A. Engel, Johannes Nührenberg, Gerhard ...
TAPSOFT
1997
Springer
15 years 2 months ago
Protective Interface Specifications
Gary T. Leavens, Jeannette M. Wing
SIGSOFT
1995
ACM
15 years 2 months ago
Specification Matching of Software Components
Amy Moormann Zaremski, Jeannette M. Wing