George H. Marschalk
- 1.Shumate, Ken, "Software Specification and Design in Ada: Structured Analysis, Object-Oriented Design, and the Transition," Addendum to Tri*Ada Tutorial "Software Specification and Design," Tri-Ada Conference, Baltimore, Maryland, December 1990. Google Scholar
Digital Library
- 2.D. Firesmith, "Structured Analysis and Object-Oriented Development are not Compatible," Aria Letters, ACM/SIG Ada, November/December 1991. Google ScholarDigital Library
- 3.Gomaa, Hassan, *'A Software Design Method for Ada Based Real Time Systems," Proceedings of the Sixth Washington Ada Symposium, June 26-29, 1989, ACM, Washington, D.C. Google ScholarDigital Library
- 4.Marschallc, George and Thomas Radi, "SA-2-Ada: A Methodology for Deriving Ada Designs From Structured Analysis Specifications," Proceedings of Tfi-Ada '91, October 21-25, 1991, ACM, San Jose, CA. Google ScholarDigital Library
Recommendations
From Electronic Design Automation to Automotive Design Automation
ISPD '19: Proceedings of the 2019 International Symposium on Physical DesignAdvanced driver assistance systems (ADAS), autonomous functions, and connected applications bring a revolution to automotive systems, but they also make automotive design, especially software and electronics, more complex than ever. The complexity ...
From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts
ISPD '19: Proceedings of the 2019 International Symposium on Physical DesignThis paper reflects on the design challenges posed by cyber-physical systems, what distinguishes cyber-physical system design from large-scale integrated circuit design, and what could be the opportunities for the design automation community. The paper ...
Workshop - technology design rules for design automation
DAC '83: Proceedings of the 20th Design Automation ConferenceTechnology design rules are one cornerstone to the production of quality products. Rules are required to execute a design and to check a design for accuracy. Design tools and checking programs, driven by rules, are utilized to assist in the design ...
Comments