The ability to write programs that execute efficiently on modern parallel computers has not been fully studied. In this DARPA-sponsored project, we are looking at measuring the development time for programs written for high performance computers (HPC). Our goal is to measure such development time in both student programming (initially), and then later with professional expert programmers. This paper describes the overall goals of the program and our progress to date.
{"title":"Studying code development for high performance computing: the HPCS program","authors":"Jeffrey C. Carver","doi":"10.1049/IC:20040415","DOIUrl":"https://doi.org/10.1049/IC:20040415","url":null,"abstract":"The ability to write programs that execute efficiently on modern parallel computers has not been fully studied. In this DARPA-sponsored project, we are looking at measuring the development time for programs written for high performance computers (HPC). Our goal is to measure such development time in both student programming (initially), and then later with professional expert programmers. This paper describes the overall goals of the program and our progress to date.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"80 1","pages":"32-36"},"PeriodicalIF":0.0,"publicationDate":"2004-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91396778","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}
For efficient, large scale data mining of publicly available information about libre (free, open source) software projects, automating the retrieval and analysis processes is a must. A system implementing such automation must have into account the many kinds of repositories with interesting information (each with its own structure and access methods), and the many kinds of analysis which can be applied to the retrieved data. In addition, such a system should be capable of interfacing and reusing as much existing software for both retrieving and analyzing data as possible. As a proof of concept of how that system could be, we started sometime ago to implement the GlueTheos system, featuring a modular,flexible architecture which has been already used in several of our studies of libre software projects. In this paper we show its structure, how it can be used, and how it can be extended.
{"title":"GlueTheos: automating the retrieval and analysis of data from publicly available software repositories","authors":"G. Robles, Jesus M. Gonzalez-Barahona, R. Ghosh","doi":"10.1049/IC:20040471","DOIUrl":"https://doi.org/10.1049/IC:20040471","url":null,"abstract":"For efficient, large scale data mining of publicly available information about libre (free, open source) software projects, automating the retrieval and analysis processes is a must. A system implementing such automation must have into account the many kinds of repositories with interesting information (each with its own structure and access methods), and the many kinds of analysis which can be applied to the retrieved data. In addition, such a system should be capable of interfacing and reusing as much existing software for both retrieving and analyzing data as possible. As a proof of concept of how that system could be, we started sometime ago to implement the GlueTheos system, featuring a modular,flexible architecture which has been already used in several of our studies of libre software projects. In this paper we show its structure, how it can be used, and how it can be extended.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"20 1","pages":"28-31"},"PeriodicalIF":0.0,"publicationDate":"2004-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85097494","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}
Pub Date : 2003-05-25DOI: 10.1007/3-540-44870-5_77
Kjetil Moløkken
{"title":"Software effort estimation: planning XP guidelines compared to research on traditional software development","authors":"Kjetil Moløkken","doi":"10.1007/3-540-44870-5_77","DOIUrl":"https://doi.org/10.1007/3-540-44870-5_77","url":null,"abstract":"","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"10 1","pages":"441-442"},"PeriodicalIF":0.0,"publicationDate":"2003-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79025863","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}
Pub Date : 2003-05-03DOI: 10.1109/ICSE.2003.1201261
Premkumar T. Devanbu, R. Balzer, D. Batory, G. Kiczales, J. Launchbury, D. Parnas, P. Tarr
Parnas' seminal work [2] on separation of concerns in design has led to diverse innovations in programming language design, to support modularity. However, there has been a growing sentiment in many quarters that there are some concerns that stubbornly resist tidy confinement, when using established modularization mechanisms in pro- gramming languages. A diverse set of new approaches have emerged in response: aspects [1], monads [5], mixin lay- ers [3], and multi-dimensional separation of concerns [4]. These approaches arose more or less independently of each other, and have (to varying degrees) developed technical maturity, real-world credibility and strong user bases. We are also now beginning to see strong scholarly comparisions of the intellectual foundations and practical utility of these different aproaches. This panel aims to support this trend. In this panel, we bring together leading experts (Profs. Batory, Kiczales, and Launchbury, and Dr. Tarr) in these different areas. Each represents a particular perspective on how to evolve and adapt the old idea of modularization to deal with new challenges such as security, fault-tolerance, distribution, and auditing. In addition, we also have two pioneering researchers (Profs. Balzer and Parnas) to pro- vide us with a historical perspective on the evolution (sic) of program modularization and evolution techniques. Position statements of some of the panelists follow, pre- sented in alphabetical order of their names:
{"title":"Modularity in the new millenium: a panel summary","authors":"Premkumar T. Devanbu, R. Balzer, D. Batory, G. Kiczales, J. Launchbury, D. Parnas, P. Tarr","doi":"10.1109/ICSE.2003.1201261","DOIUrl":"https://doi.org/10.1109/ICSE.2003.1201261","url":null,"abstract":"Parnas' seminal work [2] on separation of concerns in design has led to diverse innovations in programming language design, to support modularity. However, there has been a growing sentiment in many quarters that there are some concerns that stubbornly resist tidy confinement, when using established modularization mechanisms in pro- gramming languages. A diverse set of new approaches have emerged in response: aspects [1], monads [5], mixin lay- ers [3], and multi-dimensional separation of concerns [4]. These approaches arose more or less independently of each other, and have (to varying degrees) developed technical maturity, real-world credibility and strong user bases. We are also now beginning to see strong scholarly comparisions of the intellectual foundations and practical utility of these different aproaches. This panel aims to support this trend. In this panel, we bring together leading experts (Profs. Batory, Kiczales, and Launchbury, and Dr. Tarr) in these different areas. Each represents a particular perspective on how to evolve and adapt the old idea of modularization to deal with new challenges such as security, fault-tolerance, distribution, and auditing. In addition, we also have two pioneering researchers (Profs. Balzer and Parnas) to pro- vide us with a historical perspective on the evolution (sic) of program modularization and evolution techniques. Position statements of some of the panelists follow, pre- sented in alphabetical order of their names:","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"115 1","pages":"723-725"},"PeriodicalIF":0.0,"publicationDate":"2003-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84732559","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}
Pub Date : 2003-05-03DOI: 10.1109/ICSE.2003.1201258
H. Saiedian
The concerns over the selection of the most effective methodology (or best practices) is also reflected in debates within the software engineering education circles. Here, the software engineering educators will have to decide which methodology is the right one for teaching the next generation of software engineers, or integrating into the software engineering education curricula. An excellent report [ 1 ] provides a brief review of several such methodologies as well as evaluative research and instructional issues related to agile methods and their potential impact. This panel provides two opposing views vis-hvis incorporating agile processes, and in particular eXtreme Programming, into software engineering education. The panel will be conducted slightly different from the traditional approaches. It will include normal paper presentations by the authors, followed by plenary debate. The first paper (authored by Lars Benedix, G/Sel Hedin, and Boris Magnusson) presents an experience from using eXtreme Programming to teach software engineering concepts in an undergraduate course with over 100 students. The authors' experience is very positive. The second paper (authored by Jean-Guy Schneider and Lorraine Johnston) conclude that introducing an agile process such as eXtreme Programming in software engineering education is not a straightforward task and the corresponding practices may run counter to educational goals. The paper presentations will serve as authors' position statements. Discussion and debate will follow.
{"title":"Panel: eXtreme Programming: helpful or harmful?","authors":"H. Saiedian","doi":"10.1109/ICSE.2003.1201258","DOIUrl":"https://doi.org/10.1109/ICSE.2003.1201258","url":null,"abstract":"The concerns over the selection of the most effective methodology (or best practices) is also reflected in debates within the software engineering education circles. Here, the software engineering educators will have to decide which methodology is the right one for teaching the next generation of software engineers, or integrating into the software engineering education curricula. An excellent report [ 1 ] provides a brief review of several such methodologies as well as evaluative research and instructional issues related to agile methods and their potential impact. This panel provides two opposing views vis-hvis incorporating agile processes, and in particular eXtreme Programming, into software engineering education. The panel will be conducted slightly different from the traditional approaches. It will include normal paper presentations by the authors, followed by plenary debate. The first paper (authored by Lars Benedix, G/Sel Hedin, and Boris Magnusson) presents an experience from using eXtreme Programming to teach software engineering concepts in an undergraduate course with over 100 students. The authors' experience is very positive. The second paper (authored by Jean-Guy Schneider and Lorraine Johnston) conclude that introducing an agile process such as eXtreme Programming in software engineering education is not a straightforward task and the corresponding practices may run counter to educational goals. The paper presentations will serve as authors' position statements. Discussion and debate will follow.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"126 1","pages":"718"},"PeriodicalIF":0.0,"publicationDate":"2003-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73900051","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}
{"title":"Component-based architecture for collaborative applications in internet","authors":"F. Depaoli","doi":"10.1007/3-540-38093-0_6","DOIUrl":"https://doi.org/10.1007/3-540-38093-0_6","url":null,"abstract":"","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"3 1","pages":"90-101"},"PeriodicalIF":0.0,"publicationDate":"2002-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82863859","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}
This workshop summary gives a brief overview of a one day workshop on "Architecting Dependable Systems" held in conjunctions with ICSE 2002.
本研讨会总结简要概述了与ICSE 2002联合举办的为期一天的“构建可靠系统”研讨会。
{"title":"ICSE 2002 workshop on architecting dependable systems","authors":"R. Lemos, C. Gacek, A. Romanovsky","doi":"10.1145/581339.581438","DOIUrl":"https://doi.org/10.1145/581339.581438","url":null,"abstract":"This workshop summary gives a brief overview of a one day workshop on \"Architecting Dependable Systems\" held in conjunctions with ICSE 2002.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"92 1","pages":"673-674"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77269882","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}
In a wide range of application areas, system behavior is modeled using variations of scenarios and state machines. In telecommunications, ITU standards SDL (Specification and Description Language) and MSC (Message Sequence Charts) are used for formal specifications and descriptions. Also, for behavioral modeling of object-oriented software systems, UML interaction diagrams (sequence or collaboration diagrams) and statechart diagrams are commonly used. Use cases can be conveniently refined using interaction diagrams, which in turn aid in recognizing class operations and associations and in building statechart specifications of object behaviour. The aim of this workshop is to build a shared understanding on the relation between scenarios and state machines and to gain insight on techniques and tools that may leverage from combining these approaches to behaviour modeling. In this workshop, we will discuss the usage of scenario-based approaches in software engineering. An emphasis area is the relation between scenarios and state-machines. Areas of interest of this one-day workshop include, but are not limited to the following three main discussion topics: 1) Models and notations (requirements for different application areas, shortcomings in current notations, new suggestions for models or notations, categorizations); 2) Algorithms (e.g., synthesizing state machines from scenarios, implied scenarios, generating scenarios from state machines, consistency checks); 3) Tools (tool support for the issues above, different application areas). Moreover, we will identify the limitations and shortcomings of current approaches and outline possible directions for future research in the domain. A related workshop (scenario-based roundtrip eng.) was organized at OOPSLA 2000.
{"title":"Scenarios and state machines: models, algorithms, and tools","authors":"Sebastián Uchitel, Tarja Systä, Albert Zündorf","doi":"10.1145/581339.581431","DOIUrl":"https://doi.org/10.1145/581339.581431","url":null,"abstract":"In a wide range of application areas, system behavior is modeled using variations of scenarios and state machines. In telecommunications, ITU standards SDL (Specification and Description Language) and MSC (Message Sequence Charts) are used for formal specifications and descriptions. Also, for behavioral modeling of object-oriented software systems, UML interaction diagrams (sequence or collaboration diagrams) and statechart diagrams are commonly used. Use cases can be conveniently refined using interaction diagrams, which in turn aid in recognizing class operations and associations and in building statechart specifications of object behaviour. The aim of this workshop is to build a shared understanding on the relation between scenarios and state machines and to gain insight on techniques and tools that may leverage from combining these approaches to behaviour modeling. In this workshop, we will discuss the usage of scenario-based approaches in software engineering. An emphasis area is the relation between scenarios and state-machines. Areas of interest of this one-day workshop include, but are not limited to the following three main discussion topics: 1) Models and notations (requirements for different application areas, shortcomings in current notations, new suggestions for models or notations, categorizations); 2) Algorithms (e.g., synthesizing state machines from scenarios, implied scenarios, generating scenarios from state machines, consistency checks); 3) Tools (tool support for the issues above, different application areas). Moreover, we will identify the limitations and shortcomings of current approaches and outline possible directions for future research in the domain. A related workshop (scenario-based roundtrip eng.) was organized at OOPSLA 2000.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"66 1","pages":"659-660"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82367411","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}
The objectives of the workshop cover perspectives on Web Engineering, navigation and adaptivity, design aspects, acceptance criteria for Web-based systems, development and management of Web-based systems, Web metrics and case studies. Researchers and practitioners interested in WebApps development were invited to submit papers describing their work and methodological approaches to WebApps development. Each submission was reviewed by at least two members of the Programme Committee. The selected papers will be presented by the speakers and will form the basis of discussions all round. The workshop will close with a panel discussion.
{"title":"Third ICSE workshop on web engineering","authors":"Y. Deshpande, L. Olsina, S. Murugesan","doi":"10.1145/581339.581432","DOIUrl":"https://doi.org/10.1145/581339.581432","url":null,"abstract":"The objectives of the workshop cover perspectives on Web Engineering, navigation and adaptivity, design aspects, acceptance criteria for Web-based systems, development and management of Web-based systems, Web metrics and case studies. Researchers and practitioners interested in WebApps development were invited to submit papers describing their work and methodological approaches to WebApps development. Each submission was reviewed by at least two members of the Programme Committee. The selected papers will be presented by the speakers and will form the basis of discussions all round. The workshop will close with a panel discussion.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"1 1","pages":"661-662"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84783260","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}
In object-oriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between requirements of different parties.However, due to the diversity, incompleteness, and informal nature, in particular of functional and dynamic requirements, such conflicts are difficult to find. Formal approaches to requirements engineering, often based on logic, attack these problems, but require highly specialized experts to write and reason about such specifications.In this paper, we propose a formal interpretation of use case models consisting of UML use case, activity, and collaboration diagrams. The formalization, which is based on concepts from the theory of graph transformation, allows to make precise the notions of conflict and dependency between functional requirements expressed by different use cases. Then, use case models can be statically analyzed, and conflicts or dependencies detected by the analysis can be communicated to the modeler by annotating the model.An implementation of the static analysis within a graph transformation tool is presented.
{"title":"Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation","authors":"Jan Hendrik Hausmann, R. Heckel, G. Taentzer","doi":"10.1145/581339.581355","DOIUrl":"https://doi.org/10.1145/581339.581355","url":null,"abstract":"In object-oriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between requirements of different parties.However, due to the diversity, incompleteness, and informal nature, in particular of functional and dynamic requirements, such conflicts are difficult to find. Formal approaches to requirements engineering, often based on logic, attack these problems, but require highly specialized experts to write and reason about such specifications.In this paper, we propose a formal interpretation of use case models consisting of UML use case, activity, and collaboration diagrams. The formalization, which is based on concepts from the theory of graph transformation, allows to make precise the notions of conflict and dependency between functional requirements expressed by different use cases. Then, use case models can be statically analyzed, and conflicts or dependencies detected by the analysis can be communicated to the modeler by annotating the model.An implementation of the static analysis within a graph transformation tool is presented.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"1 1","pages":"105-115"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73045758","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号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：