发布求助
文献互助 智能选刊 最新文献

International Workshop on Software Specification and Design最新文献

筛选
英文 中文
Larger scale systems require higher-level abstractions 更大规模的系统需要更高层次的抽象
International Workshop on Software Specification and Design Pub Date : 1989-04-01 DOI: 10.1145/75199.75222
M. Shaw
{"title":"Larger scale systems require higher-level abstractions","authors":"M. Shaw","doi":"10.1145/75199.75222","DOIUrl":"https://doi.org/10.1145/75199.75222","url":null,"abstract":"Over the past thirty years, abstraction techniques such as high level programming languages and abstract data types have improved our ability to specify and develop software. However, the increasing size and complexity of software systems have introduced new problems that are not solved by the current techniques. These new problems involve the system-level design of software, in which the important decisions are concerned with the kinds of modules and subsystems to use and the way these modules and subsystems are organized. This level of organization, the software archirecrure level, requires new kinds of abstractions that capture essential properties of major subsystems and the ways they interact.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122833914","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}
引用次数: 133
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition 透过PRISMA看一看:朝向多元化的软件规范获取的知识基础环境
International Workshop on Software Specification and Design Pub Date : 1989-04-01 DOI: 10.1145/75199.75219
Celso Niskier, T. Maibaum, D. Schwabe
{"title":"A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition","authors":"Celso Niskier, T. Maibaum, D. Schwabe","doi":"10.1145/75199.75219","DOIUrl":"https://doi.org/10.1145/75199.75219","url":null,"abstract":"A pluralistic attitude to software specification acquisition is proposed, where multiple viewpoints/formalisms are simultaneously used to describe more comprehensively the required system. Syntactic, semantic and pragmatic (heuristic) aspects of Entity Relationship Models, Data Flow Diagrams and Petri Nets are captured using Prolog as a metalanguage. More general heuristics indicating complementarity consistency between methods are also formal&d. The construction of PRISMA a pluralistic knowledge-based system is. described, and the approach is ilustrated via examples. Theoretical and practical issues related to specification processes and environments supporting a pluralistic paradigm are also discussed.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123744360","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}
引用次数: 34
Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling 基于故事驱动建模的分布式课程规划与信息系统的规范与实现
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/857205.858301
J. Weber, Albert Zündorf
{"title":"Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling","authors":"J. Weber, Albert Zündorf","doi":"10.5555/857205.858301","DOIUrl":"https://doi.org/10.5555/857205.858301","url":null,"abstract":"","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133417414","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}
引用次数: 5
Bridging the Requirements Gap: Policies, Goals, and Domains 弥合需求差距:政策、目标和领域
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/951807.951817
A. Sutcliffe, N. Maiden
{"title":"Bridging the Requirements Gap: Policies, Goals, and Domains","authors":"A. Sutcliffe, N. Maiden","doi":"10.5555/951807.951817","DOIUrl":"https://doi.org/10.5555/951807.951817","url":null,"abstract":"","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125091755","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}
引用次数: 2
A Mathematical Toolbox for the Software Architec 软件架构师的数学工具箱
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/857204.858267
J. Fiadeiro, T. Maibaum
{"title":"A Mathematical Toolbox for the Software Architec","authors":"J. Fiadeiro, T. Maibaum","doi":"10.5555/857204.858267","DOIUrl":"https://doi.org/10.5555/857204.858267","url":null,"abstract":"It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Theory does not promote any particular formalism for component and connector description but provides instead the very semantics of the concepts that are related to the gross modularisation of complex systems like \"interconnection\", \"configuration\", \"instantiation\" and \"composition\". Two examples, a category of programs for a parallel program design language and a category of temporal logic specifications, together with comparisons with other work, namely by Allen and Garlan, and Moriconi and Qian, are adduced to justify this claim.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128879643","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}
引用次数: 2
Abstraction and composition in Δ-specifications of concurrent systems 并发系统Δ-specifications中的抽象与组合
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/952786.952795
J. Loyall, S. Kaplan, S. K. Goering
{"title":"Abstraction and composition in Δ-specifications of concurrent systems","authors":"J. Loyall, S. Kaplan, S. K. Goering","doi":"10.5555/952786.952795","DOIUrl":"https://doi.org/10.5555/952786.952795","url":null,"abstract":"We have been investigating the application of the Δ-grammar graph rewriting model to the problem of specifying concurrent systems. In this paper, we present abstraction and composition techniques for the Δ model and illustrate their use through examples.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124025597","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}
引用次数: 1
Predicting Operational Behaviour of Abstract Programs During Formal Developments 在正式开发过程中预测抽象程序的操作行为
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/951807.951834
Y. A. Ameur
{"title":"Predicting Operational Behaviour of Abstract Programs During Formal Developments","authors":"Y. A. Ameur","doi":"10.5555/951807.951834","DOIUrl":"https://doi.org/10.5555/951807.951834","url":null,"abstract":"A seat backrest having a contourable upholstered portion supported by a rigid frame portion includes means to produce a desired supporting contour in the lumbar region of the seat occupant. The contour-producing means includes a lumbar pad, a pair of link members connecting the lumbar pad to the frame, and a double threaded shaft means operable by a seated occupant from the side of the backrest for moving and holding the link members in an infinite number of fixed, generally horizontal positions forward of the frame. The position of maximum lumbar support can be adjusted vertically by pivoting the link members and lumbar pad by means of a pin which is engaged with an angled slot in a sliding plate.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123474428","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}
引用次数: 0
A Petri-Net -Based Approach to Real-Time Program Analysis 基于petri网的实时程序分析方法
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/951807.951818
U. Buy, R. Sloan
{"title":"A Petri-Net -Based Approach to Real-Time Program Analysis","authors":"U. Buy, R. Sloan","doi":"10.5555/951807.951818","DOIUrl":"https://doi.org/10.5555/951807.951818","url":null,"abstract":"","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132388115","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}
引用次数: 0
Specifications Approaches Express Different World Hypotheses 规范方法表达不同的世界假设
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/951807.951839
D. Marca, C. McGowan
{"title":"Specifications Approaches Express Different World Hypotheses","authors":"D. Marca, C. McGowan","doi":"10.5555/951807.951839","DOIUrl":"https://doi.org/10.5555/951807.951839","url":null,"abstract":"","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132046174","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}
引用次数: 0
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does 真理与知识:一个组件的功能和我们所知道的功能之间的区别
International Workshop on Software Specification and Design Pub Date : 1900-01-01 DOI: 10.5555/857204.858277
Mary Shaw
{"title":"Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does","authors":"Mary Shaw","doi":"10.5555/857204.858277","DOIUrl":"https://doi.org/10.5555/857204.858277","url":null,"abstract":"","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134181104","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}
引用次数: 5
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信