Proceedings - International Conference on Software Engineering. International Conference on Software Engineering最新文献_第9页

Studying code development for high performance computing: the HPCS program 研究高性能计算的代码开发:HPCS程序

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-01-01 DOI: 10.1049/IC:20040415

Jeffrey C. Carver

引用次数: 14

GlueTheos: automating the retrieval and analysis of data from publicly available software repositories GlueTheos:从公开可用的软件库中自动检索和分析数据

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-01-01 DOI: 10.1049/IC:20040471

G. Robles, Jesus M. Gonzalez-Barahona, R. Ghosh

引用次数: 36

Software effort estimation: planning XP guidelines compared to research on traditional software development 软件工作量估计:与传统软件开发研究相比，规划XP指导方针

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2003-05-25 DOI: 10.1007/3-540-44870-5_77

Kjetil Moløkken

引用次数: 2

Modularity in the new millenium: a panel summary 新千年的模块化:一个小组总结

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2003-05-03 DOI: 10.1109/ICSE.2003.1201261

Premkumar T. Devanbu, R. Balzer, D. Batory, G. Kiczales, J. Launchbury, D. Parnas, P. Tarr

{"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}

引用次数: 10

Panel: eXtreme Programming: helpful or harmful? 专题讨论:极限编程:有益还是有害?

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2003-05-03 DOI: 10.1109/ICSE.2003.1201258

H. Saiedian

{"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}

引用次数: 2

Component-based architecture for collaborative applications in internet 基于组件的internet协同应用体系结构

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2002-05-20 DOI: 10.1007/3-540-38093-0_6

F. Depaoli

引用次数: 2

ICSE 2002 workshop on architecting dependable systems ICSE 2002关于构建可靠系统的研讨会

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2002-05-19 DOI: 10.1145/581339.581438

R. Lemos, C. Gacek, A. Romanovsky

引用次数: 10

Scenarios and state machines: models, algorithms, and tools 场景和状态机:模型、算法和工具

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2002-05-19 DOI: 10.1145/581339.581431

Sebastián Uchitel, Tarja Systä, Albert Zündorf

{"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}

引用次数: 47

Third ICSE workshop on web engineering 第三届ICSE网络工程研讨会

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2002-05-19 DOI: 10.1145/581339.581432

Y. Deshpande, L. Olsina, S. Murugesan

引用次数: 2

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation 用例驱动方法中冲突功能需求的检测:一种基于图转换的静态分析技术

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2002-05-19 DOI: 10.1145/581339.581355

Jan Hendrik Hausmann, R. Heckel, G. Taentzer

{"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}

引用次数: 106