Dept. of Electr. Comput. Eng. Univ. of Calgary Calgary AB Canada;
Clustering; Package diagrams; Requirement elicitation; Scenario-based software specifications; System design; message sequence charts;
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:软件设计中的设计要求,认识不确定性和解决方案开发策略
机译:评估功能:一种用于自动综合设计解决方案的软件,用于在机械概念设计过程中激发构想
机译:从要求到软件设计:包装软件类的自动化解决方案
机译:打包软件开发中的需求行进:工作设计和不确定性调查。
机译:TAVI中用于程序设计的全自动与半自动化软件包的可靠性及其对决策的影响
机译:小型软件企业的打包软件实施要求工程:民族志研究
机译:1992年aaaI自动化软件设计研讨会的工作说明。主题:领域特定的软件设计