首页 > 最新文献

Proceedings Ninth International Workshop on Software Specification and Design最新文献

英文 中文
Specification and implementation of a distributed planning and information system for courses based on story driven modelling 基于故事驱动建模的分布式课程规划与信息系统的规范与实现
Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667922
J. Jahnke, A. Zundorf
Current object-oriented modelling methods focus on the specification of the static structure of software objects and their interaction at runtime. A major deficiency of these methods is that they do not provide means to specify the dynamic evolution of object structures. In this paper we propose a novel method called Story Driven Modelling (SDM) as a complementation to existing OO approaches. SDM employs so called story boards to analyse the dynamics of object structures as sequences of graphical snap shots for sample scenarios. A major benefit of this approach is that story boards are well understood even by laities, while they have well-defined syntax and semantics that gives way to semi-automatic derivation of subsequent specifications, like, for example, the static class hierarchy and dynamic operations on object structures. For the latter SDM employs a high-level, partly-graphical formalism called story flow diagram, which is based on the theory, of programmed graph rewriting systems. In this paper we illustrate SDM with a sample case study which is the development of a course program planning system for the computer science department at Paderborn University. We choose this particular example from a number of SDM applications since its domain theory is very similar to the reference example for IWSSD-9 (The Meeting Scheduler System).
当前的面向对象建模方法侧重于描述软件对象的静态结构及其在运行时的交互。这些方法的一个主要缺陷是它们不提供方法来指定对象结构的动态演变。在本文中,我们提出了一种称为故事驱动建模(SDM)的新方法,作为现有OO方法的补充。SDM使用所谓的故事板来分析对象结构的动态,作为示例场景的图形快照序列。这种方法的一个主要好处是,即使是外行人也能很好地理解故事板,同时它们具有良好定义的语法和语义,为后续规范的半自动派生提供了途径,例如,静态类层次结构和对象结构上的动态操作。对于后者,SDM采用了一种高级的、部分图形化的形式,称为故事流程图,它基于可编程图形重写系统的理论。本文以帕德博恩大学计算机科学系课程规划系统的开发为例,对SDM进行了说明。我们从许多SDM应用程序中选择了这个特定的示例,因为它的领域理论与IWSSD-9(会议调度系统)的参考示例非常相似。
{"title":"Specification and implementation of a distributed planning and information system for courses based on story driven modelling","authors":"J. Jahnke, A. Zundorf","doi":"10.1109/IWSSD.1998.667922","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667922","url":null,"abstract":"Current object-oriented modelling methods focus on the specification of the static structure of software objects and their interaction at runtime. A major deficiency of these methods is that they do not provide means to specify the dynamic evolution of object structures. In this paper we propose a novel method called Story Driven Modelling (SDM) as a complementation to existing OO approaches. SDM employs so called story boards to analyse the dynamics of object structures as sequences of graphical snap shots for sample scenarios. A major benefit of this approach is that story boards are well understood even by laities, while they have well-defined syntax and semantics that gives way to semi-automatic derivation of subsequent specifications, like, for example, the static class hierarchy and dynamic operations on object structures. For the latter SDM employs a high-level, partly-graphical formalism called story flow diagram, which is based on the theory, of programmed graph rewriting systems. In this paper we illustrate SDM with a sample case study which is the development of a course program planning system for the computer science department at Paderborn University. We choose this particular example from a number of SDM applications since its domain theory is very similar to the reference example for IWSSD-9 (The Meeting Scheduler System).","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121937502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Feature engineering [software development] 特征工程[软件开发]
Pub Date : 1998-04-16 DOI: 10.1109/IWSSD.1998.667935
C. Turner, A. Fuggetta, L. Lavazza, A. Wolf
The notion of feature is widely used to denote the functional structure and visible properties of a software system. More specifically, features are meant to represent a user centric organization of a software system's functionality. Yet, other than during requirements analysis, features are seldom treated explicitly by most existing tools and methods. The paper argues that a feature orientation can provide benefits to software developers throughout the software life cycle. We envisage specific applications of the notion of feature that provide a powerful and unifying structure for software life cycle artifacts and activities. We discuss the problems and issues to be addressed, a brief summary of our current research work, and suggestions and directions for future research in a new area we call "feature engineering".
特征的概念被广泛用于表示软件系统的功能结构和可见属性。更具体地说,特性旨在表示以用户为中心的软件系统功能组织。然而,除了在需求分析期间,大多数现有的工具和方法很少明确地处理特性。本文认为,面向特性可以在整个软件生命周期中为软件开发人员提供好处。我们设想了为软件生命周期工件和活动提供强大而统一的结构的特性概念的具体应用。我们讨论了需要解决的问题和问题,简要总结了我们目前的研究工作,并对我们称之为“特征工程”的新领域的未来研究提出了建议和方向。
{"title":"Feature engineering [software development]","authors":"C. Turner, A. Fuggetta, L. Lavazza, A. Wolf","doi":"10.1109/IWSSD.1998.667935","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667935","url":null,"abstract":"The notion of feature is widely used to denote the functional structure and visible properties of a software system. More specifically, features are meant to represent a user centric organization of a software system's functionality. Yet, other than during requirements analysis, features are seldom treated explicitly by most existing tools and methods. The paper argues that a feature orientation can provide benefits to software developers throughout the software life cycle. We envisage specific applications of the notion of feature that provide a powerful and unifying structure for software life cycle artifacts and activities. We discuss the problems and issues to be addressed, a brief summary of our current research work, and suggestions and directions for future research in a new area we call \"feature engineering\".","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132104046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Enhancing design methods to support real design processes 增强设计方法以支持真实的设计过程
Pub Date : 1998-02-01 DOI: 10.1109/IWSSD.1998.667934
Barbara Lerner, S. Sutton, L. Osterweil
Software design methods typically focus on the activities that individual designers should perform under ideal circumstances. They rarely, if ever, address the activities that should be performed when things do not go according to plan, such as when a customer requests changes to the specification, or when early design decisions must be changed. They also rarely address issues involving coordination of multiple designers in cooperative design tasks or in competition for limited resources. We are investigating fundamental concepts required for more complete definition of design methods, developing linguistic mechanisms within a process programming language to support these concepts, and validating these through the definition of a process program that incorporates the Booch method.
软件设计方法通常关注于单个设计人员在理想环境下应该执行的活动。他们很少(如果有的话)处理当事情不按照计划进行时应该执行的活动,例如当客户要求更改规范时,或者当必须更改早期的设计决策时。它们也很少涉及多个设计师在合作设计任务或争夺有限资源时的协调问题。我们正在研究更完整的设计方法定义所需的基本概念,在过程编程语言中开发语言机制来支持这些概念,并通过包含Booch方法的过程程序的定义来验证这些概念。
{"title":"Enhancing design methods to support real design processes","authors":"Barbara Lerner, S. Sutton, L. Osterweil","doi":"10.1109/IWSSD.1998.667934","DOIUrl":"https://doi.org/10.1109/IWSSD.1998.667934","url":null,"abstract":"Software design methods typically focus on the activities that individual designers should perform under ideal circumstances. They rarely, if ever, address the activities that should be performed when things do not go according to plan, such as when a customer requests changes to the specification, or when early design decisions must be changed. They also rarely address issues involving coordination of multiple designers in cooperative design tasks or in competition for limited resources. We are investigating fundamental concepts required for more complete definition of design methods, developing linguistic mechanisms within a process programming language to support these concepts, and validating these through the definition of a process program that incorporates the Booch method.","PeriodicalId":431074,"journal":{"name":"Proceedings Ninth International Workshop on Software Specification and Design","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121269301","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
期刊
Proceedings Ninth International Workshop on Software Specification and Design
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1