ISR Bibliography

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is formal specification  [Clear All Filters]
2004
Mikic-Rakic, M., S. Malek, N. Beckman, and N. Medvidović, "A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings", Second International Working Conference on Component Deployment (CD 2004), Edinburgh, Scotland, UK, pp. 1-17, May 20-21, 2004.
2000
Vieira, M. E. R., M. S. Dias, and D. J. Richardson, "Analyzing Software Architectures with Argus-I", International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 758-761, June 4-11, 2000.
1999
Reyes, A. A., and D. Richardson, "Siddhartha: A Method for Developing Domain-specific Test Driver Generators", 14th IEEE International Conference on Automated Software Engineering (ASE '99), Cocoa Beach, FL, USA, pp. 81-90, 12-15 Oct. 1999.
Chang, J., and D. J. Richardson, "Structural Specification-Based Testing: Automated Support and Experimental Evaluation", 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (SIGSoft '99), Toulouse, France, ACM Press, pp. 285-302, 6-10 Sept. 1999.