ESEC/FSE-9Pub Date : 2001-09-01DOI: 10.1145/503209.503231
Kathi Fisler, S. Krishnamurthi
{"title":"Modular verification of collaboration-based software designs","authors":"Kathi Fisler, S. Krishnamurthi","doi":"10.1145/503209.503231","DOIUrl":"https://doi.org/10.1145/503209.503231","url":null,"abstract":"Most existing modular model checking techniques betray their hardware roots: they assume that modules compose in parallel. In contrast, collaboration-based software designs, which have proven very successful in several domains, are sequential in the simplest case. Most interesting collaboration-based designs are really quasi-sequential compositions of parallel compositions. These designs demand and inspire new verification techniques. This paper presents algorithms that exploit the software's modular decomposition to verify collaboration-based designs. Our technique can verify most properties locally in the collaborations; we also characterize when a global state space construction is unavoidable. We have validated our proposal by testing it on several designs.","PeriodicalId":259249,"journal":{"name":"ESEC/FSE-9","volume":"2014 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128105013","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}
ESEC/FSE-9Pub Date : 2001-09-01DOI: 10.1145/503209.503238
Chris Lüer, David S. Rosenblum
{"title":"WREN---an environment for component-based development","authors":"Chris Lüer, David S. Rosenblum","doi":"10.1145/503209.503238","DOIUrl":"https://doi.org/10.1145/503209.503238","url":null,"abstract":"Prior research in software environments focused on three important problems---tool integration, artifact management, and process guidance. The context for that research, and hence the orientation of the resulting environments, was a traditional model of development in which an application is developed completely from scratch by a single organization. A notable characteristic of component-based development is its emphasis on integrating independently developed components produced by multiple organizations. Thus, while component-based development can benefit from the capabilities of previous generations of environments, its special nature induces requirements for new capabilities not found in previous environments. This paper is concerned with the design of component-based development environments, or CBDEs. We identify seven important requirements for CBDEs and discuss their rationale, and we describe a prototype environment called WREN that we are building to implement these requirements and to further evaluate and study the role of environment technology in component-based development. Important capabilities of the environment include the ability to locate potential components of interest from component distribution sites, to evaluate the identified components for suitability to an application, to incorporate selected components into application design models, and to physically integrate selected components into the application.","PeriodicalId":259249,"journal":{"name":"ESEC/FSE-9","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131056584","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}
ESEC/FSE-9Pub Date : 2001-09-01DOI: 10.1145/503209.503256
V. Ambriola, Robert Mark Greenwood
{"title":"8th European workshop on software process technology: report and future directions","authors":"V. Ambriola, Robert Mark Greenwood","doi":"10.1145/503209.503256","DOIUrl":"https://doi.org/10.1145/503209.503256","url":null,"abstract":"In this paper we report on the 8th European Workshop on Software Process Technology held in Witten (Germany) in June 2001. We also report on the outcome of a working session about the future directions of research in software process technology that will be addressed in the next workshop of this series.","PeriodicalId":259249,"journal":{"name":"ESEC/FSE-9","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114367191","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}
ESEC/FSE-9Pub Date : 2001-07-01DOI: 10.1145/503209.503267
Albert Zündorf
{"title":"From use cases to code---rigorous software development with UML","authors":"Albert Zündorf","doi":"10.1145/503209.503267","DOIUrl":"https://doi.org/10.1145/503209.503267","url":null,"abstract":"The Rational Unified Process lacks technical guidance for the development of object-oriented applications. This tutorial fills this gap. We first use UML scenario diagrams to analyze use-cases. Next, we show a method to analyze scenarios and to derive UML class diagrams and UML behavior modeling for active classes and methods. We show how to choose and embed design patterns in a design and how to employ different architectural styles. From such a precise design, smart CASE tools generate fully functional implementations. We explain state-of-the-art code generation concepts for UML and assess current CASE tools for their code generation capabilities and for their support through all software development phases more generally.","PeriodicalId":259249,"journal":{"name":"ESEC/FSE-9","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128612636","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}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
