Sciweavers

5630 search results - page 16 / 1126
» Computability in Specification
Sort
View
104
Voted
ECOOPW
2000
Springer
15 years 7 months ago
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
François Terrier, Nikos S. Voros, Udo Brock...
117
Voted
BANFF
1995
15 years 7 months ago
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
ICNP
1995
IEEE
15 years 7 months ago
Protocol architectures for delivering application specific quality of service
P. K. Jain, Norman C. Hutchinson, Samuel T. Chanso...
84
Voted
ICNP
1995
IEEE
15 years 7 months ago
Similarity for reuse of specifications in communication software development
Ushio Yamamoto, Eun-Seok Lee, Norio Shiratori