Abstract
No abstract available.
Cited By
- Beyer D and Jakobs M (2021). Cooperative verifier-based testing with CoVeriTest, International Journal on Software Tools for Technology Transfer (STTT), 23:3, (313-333), Online publication date: 1-Jun-2021.
- Smith S, Srinivasan M and Shankar S Debunking the myth that upfront requirements are infeasible for scientific computing software Proceedings of the 14th International Workshop on Software Engineering for Science, (33-40)
- Bijlsma A, Passier H, Pootjes H and Stuurman S Integrated Test Development Proceedings of the 7th Computer Science Education Research Conference, (9-20)
- Smith S, Jegatheesan T and Kelly D Advantages, disadvantages and misunderstandings about document driven design for scientific software Proceedings of the Fourth International Workshop on Software Engineering for HPC in Computational Science and Engineering, (34-41)
- Meira J, Almeida E, Kim D, Filho E and Traon Y "Overloaded!" -- A Model-Based Approach to Database Stress Testing Proceedings, Part I, 27th International Conference on Database and Expert Systems Applications - Volume 9827, (207-222)
- Passier H, Bijlsma L and Bockisch C Maintaining Unit Tests During Refactoring Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, (1-6)
- Bellini C, Pereira R and Becker J (2012). Customer Team Effectiveness through People Traits in Information Systems Development, International Journal of Human Capital and Information Technology Professionals, 3:3, (54-78), Online publication date: 1-Jul-2012.
- Dubey S and Rana A (2011). Assessment of maintainability metrics for object-oriented software system, ACM SIGSOFT Software Engineering Notes, 36:5, (1-7), Online publication date: 30-Sep-2011.
- Metzger A, Sammodi O, Pohl K and Rzepka M Towards pro-active adaptation with confidence Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, (20-28)
- Grechanik M, McMillan C, DeFerrari L, Comi M, Crespi S, Poshyvanyk D, Fu C, Xie Q and Ghezzi C An empirical investigation into a large-scale Java open source code repository Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, (1-10)
- Kaiser S, Materic I and Saade R ESL solutions for low power design Proceedings of the International Conference on Computer-Aided Design, (340-343)
- Prayaga L (2010). Mapping software engineering principles to stages in game development, Journal of Computing Sciences in Colleges, 26:2, (208-214), Online publication date: 1-Dec-2010.
- Marew T, Lee J and Bae D (2009). Tactics based approach for integrating non-functional requirements in object-oriented analysis and design, Journal of Systems and Software, 82:10, (1642-1656), Online publication date: 1-Oct-2009.
- Garlan D and Schmerl B Ævol Proceedings of the 31st International Conference on Software Engineering, (591-594)
- Alves A The helicoidal life cycle as a tool for software development and enhancement Proceedings of the WSEAS International Conference on Applied Computing Conference, (352-359)
- Jorge J, Gulias V and Castro L Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics, (296-299)
- Chatzigeorgiou A, Tsantalis N and Deligiannis I (2008). An empirical study on students' ability to comprehend design patterns, Computers & Education, 51:3, (1007-1016), Online publication date: 1-Nov-2008.
- Bastani B and Bastani H (2007). High-level open evolvable systems design by process-oriented modeling, ACM SIGSOFT Software Engineering Notes, 32:6, (3-es), Online publication date: 1-Nov-2007.
- Cruz-Lemus J, Genero M, Morasca S and Piattini M Using practitioners for assessing the understandability of UML statechart diagrams with composite states Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications, (213-222)
- Jeffrey D and Gupta N (2007). Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction, IEEE Transactions on Software Engineering, 33:2, (108-123), Online publication date: 1-Feb-2007.
- Andonoff E, Bouaziz W and Hanachi C A protocol ontology for inter-organizational workflow coordination Proceedings of the 11th East European conference on Advances in databases and information systems, (28-40)
- Dobler H, Ramler R and Wolfmaier K A study of tool support for the evaluation of programming exercises Proceedings of the 11th international conference on Computer aided systems theory, (376-383)
- de Souza C, Quirk S, Trainer E and Redmiles D Supporting collaborative software development through the visualization of socio-technical dependencies Proceedings of the 2007 ACM International Conference on Supporting Group Work, (147-156)
- Lauenroth K and Pohl K Towards automated consistency checks of product line requirements specifications Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (373-376)
- Bishop J and Horspool N (2006). Cross-Platform Development, Computer, 39:10, (26-35), Online publication date: 1-Oct-2006.
- Kals S, Kirda E, Kruegel C and Jovanovic N SecuBat Proceedings of the 15th international conference on World Wide Web, (247-256)
- Chatzigeorgiou A, Tsantalis N and Stephanides G Application of graph theory to OO software engineering Proceedings of the 2006 international workshop on Workshop on interdisciplinary software engineering research, (29-36)
- Küster J and Abd-El-Razik M Validation of model transformations Proceedings of the 2006 international conference on Models in software engineering, (193-204)
- van Riemsdijk M, Dastani M, Meyer J and de Boer F Goal-oriented modularity in agent programming Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, (1271-1278)
- Bhattacharya S and Kanjilal A (2006). Code based analysis for object-oriented systems, Journal of Computer Science and Technology, 21:6, (965-972), Online publication date: 1-Nov-2006.
- Klinkoff P, Kruegel C, Kirda E and Vigna G Extending .NET security to unmanaged code Proceedings of the 9th international conference on Information Security, (1-16)
- Briand L, Labiche Y and Leduc J (2006). Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software, IEEE Transactions on Software Engineering, 32:9, (642-663), Online publication date: 1-Sep-2006.
- Bishop J Multi-platform user interface construction Proceedings of the 28th international conference on Software engineering, (751-760)
- Tan H, Zhao Y and Zhang H Estimating LOC for information systems from their conceptual data models Proceedings of the 28th international conference on Software engineering, (321-330)
- Deubler M, Meisinger M, Rittmann S and Krüger I Modeling crosscutting services with UML sequence diagrams Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (522-536)
- Gill N (2005). Factors affecting effective software quality management revisited, ACM SIGSOFT Software Engineering Notes, 30:2, (1-4), Online publication date: 1-Mar-2005.
- Perrone V, Bolchini D and Paolini P A stakeholders centered approach for conceptual modeling of communication-intensive applications Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information, (25-33)
- Rinard M, Cadar C and Nguyen H Exploring the acceptability envelope Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (21-30)
- Wang A Information security models and metrics Proceedings of the 43rd annual Southeast regional conference - Volume 2, (178-184)
- Cernuzzi L and Zambonelli F Dealing with adaptive multi-agent organizations in the gaia methodology Proceedings of the 6th international conference on Agent-Oriented Software Engineering, (109-123)
- Cossentino M and Seidita V Composition of a new process to meet agile needs using method engineering Software Engineering for Multi-Agent Systems III, (36-51)
- de Souza C, Redmiles D, Cheng L, Millen D and Patterson J How a good software practice thwarts collaboration Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (221-230)
- de Souza C, Redmiles D, Cheng L, Millen D and Patterson J (2004). How a good software practice thwarts collaboration, ACM SIGSOFT Software Engineering Notes, 29:6, (221-230), Online publication date: 1-Nov-2004.
- Grinter R (2019). Recomposition, Computer Supported Cooperative Work, 12:3, (297-327), Online publication date: 22-Jul-2003.
- Glinz M (2019). Desert Island Column, Automated Software Engineering, 10:4, (399-402), Online publication date: 1-Oct-2003.
- Domino M, Collins R, Hevner A and Cohen C Conflict in collaborative software development Proceedings of the 2003 SIGMIS conference on Computer personnel research: Freedom in Philadelphia--leveraging differences and diversity in the IT workforce, (44-51)
- Alonso A, de la Puente J and Zamorano J A test environment for high integrity software development Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, (359-367)
- Barthelmess P and Anderson K (2019). A View of Software Development Environments Based on Activity Theory, Computer Supported Cooperative Work, 11:1-2, (13-37), Online publication date: 25-Apr-2002.
- Nimmer J and Ernst M (2002). Automatic generation of program specifications, ACM SIGSOFT Software Engineering Notes, 27:4, (229-239), Online publication date: 1-Jul-2002.
- Nimmer J and Ernst M Automatic generation of program specifications Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, (229-239)
- Engels G and Groenewegen L Towards team-automata-driven object-oriented collaborative work Formal and natural computing, (257-276)
- Bisbal J and Grimson J (2002). Consistent database sampling as a database prototyping approach, Journal of Software Maintenance: Research and Practice, 14:6, (447-459), Online publication date: 1-Nov-2002.
- Na J and Furuta R Dynamic documents Proceedings of the 2001 ACM Symposium on Document engineering, (38-47)
- Kirda E, Jazayeri M, Kerer C and Schranz M (2019). Experiences in Engineering Flexible Web Services, IEEE MultiMedia, 8:1, (58-65), Online publication date: 1-Jan-2001.
- Finkelsteiin A and Kramer J Software engineering Proceedings of the Conference on The Future of Software Engineering, (3-22)
- Engels G and Groenewegen L Object-oriented modeling Proceedings of the Conference on The Future of Software Engineering, (103-116)
- Neumann G and Zdun U Towards the usage of dynamic object aggregations as a foundation for composition Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (818-820)
- Neumann G and Zdun U XOTcl Proceedings of the 7th conference on USENIX Tcl/Tk - Volume 7, (16-16)
- Medvidovic N and Taylor R (2000). A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, 26:1, (70-93), Online publication date: 1-Jan-2000.
- Andrews J and Lutfiyya H Experience Report Proceedings of the 13th Conference on Software Engineering Education & Training
- Hasselbring W (2000). Programming languages and systems for prototyping concurrent applications, ACM Computing Surveys (CSUR), 32:1, (43-79), Online publication date: 1-Mar-2000.
- Canfora G, De lucia A and Di Lucca G (1999). A System for Generating Reverse Engineering Tools, Automated Software Engineering, 6:3, (233-263), Online publication date: 1-Jul-1999.
- Girard J, Koschke R and Schied G (1999). A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations, Automated Software Engineering, 6:4, (357-386), Online publication date: 1-Oct-1999.
- Ciancarini P and Mascolo C (2018). Using formal methods for teaching software engineering, Annals of Software Engineering, 6:1-4, (433-453), Online publication date: 1-Apr-1999.
- Briand L, Morasca S and Basili V (1999). Defining and Validating Measures for Object-Based High-Level Design, IEEE Transactions on Software Engineering, 25:5, (722-743), Online publication date: 1-Sep-1999.
- Medvidovic N, Rosenblum D and Taylor R A language and environment for architecture-based software development and evolution Proceedings of the 21st international conference on Software engineering, (44-53)
- Yu L, Khong S, Xun Y and Yuan M Improving Object Oriented Analysis by Explicit Change Analysis Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Deiters W and Gruhn V (1998). Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes, Automated Software Engineering, 5:1, (7-25), Online publication date: 1-Jan-1998.
- Marchiori M Light analysis of complex systems Proceedings of the 1998 ACM symposium on Applied Computing, (18-22)
- Coda F, Ghezzi C, Vigna G and Garzotto F Towards a Software Engineering Approach to Web Site Development Proceedings of the 9th international workshop on Software specification and design
- Cheung S, Giannakopoulou D and Kramer J Verification of liveness properties using compositional reachability analysis Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, (227-243)
- Cheung S, Giannakopoulou D and Kramer J (2019). Verification of liveness properties using compositional reachability analysis, ACM SIGSOFT Software Engineering Notes, 22:6, (227-243), Online publication date: 1-Nov-1997.
- Ang K, Thong J and Yap C IT implementation through the lens of organizational learning Proceedings of the eighteenth international conference on Information systems, (331-348)
- Luksch P, Maier U, Rathmayer S, Weidmann M and Unger F (1997). Sempa, IEEE Parallel & Distributed Technology: Systems & Technology, 5:3, (64-72), Online publication date: 1-Jul-1997.
- Needham D, Demurjian S, El Guemhioui K, Peters T, Zamani P, McMahon M and Ellis H ADAM Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, (99-113)
- Gall H, Jazayeri M, Klösch R, Lugmayr W and Trausmuth G Architecture recovery in ARES Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, (111-115)
- Cheung S and Kramer J Checking subsystem safety properties in compositional reachability analysis Proceedings of the 18th international conference on Software engineering, (144-154)
- Chang E A Software Engineering Subject on System Description Techniques Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
- Castano S, Antonellis V and Pernici B Building reusable components in the public administration domain Proceedings of the 1995 Symposium on Software reusability, (81-87)
- Castano S, Antonellis V and Pernici B (1995). Building reusable components in the public administration domain, ACM SIGSOFT Software Engineering Notes, 20:SI, (81-87), Online publication date: 1-Aug-1995.
- Felder M, Mandrioli D and Morzenti A (2019). Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models, IEEE Transactions on Software Engineering, 20:2, (127-141), Online publication date: 1-Feb-1994.
- De Paoli F and Tisato F (2019). CSDL, IEEE Transactions on Software Engineering, 20:8, (606-616), Online publication date: 1-Aug-1994.
- Kapur D An automated tool for analyzing completeness of equational specifications Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, (28-43)
- Marathe M, Hunt H, Stearns R and Radhakrishnan V Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing, (468-477)
- Kramer J Distributed software engineering Proceedings of the 16th international conference on Software engineering, (253-263)
- Cheung S and Kramer J An integrated method for effective behaviour analysis of distributed systems Proceedings of the 16th international conference on Software engineering, (309-320)
- Yu S A versatile development process for small to large projects using IBM CMVC Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
- Cheung S and Kramer J (2019). Enhancing compositional reachability analysis with context constraints, ACM SIGSOFT Software Engineering Notes, 18:5, (115-125), Online publication date: 1-Dec-1993.
- El Guemhioui K, Demurjian S and Peters T Object-oriented design and automatic Ada code generation in the education of software engineers Proceedings of the conference on TRI-Ada '93, (126-136)
- Cheung S and Kramer J Enhancing compositional reachability analysis with context constraints Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, (115-125)
- Day N An example of linking formal methods with case tools Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1, (97-107)
- Herbsleb J and Kuwana E Preserving knowledge in design projects Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems, (7-14)
- Felder M and Morzenti A Validating real-time systems by history-checking TRIO specifications Proceedings of the 14th international conference on Software engineering, (199-211)
- Corsetti E, Crivelli E, Mandrioli D, Montanari A, Morzenti A, Pietro P and Ratto E Dealing with different time scales in formal specifications Proceedings of the 6th international workshop on Software specification and design, (92-101)
Index Terms
- Fundamentals of software engineering
Recommendations
A Software Engineering Ontology as Software Engineering Knowledge Representation
ICCIT '08: Proceedings of the 2008 Third International Conference on Convergence and Hybrid Information Technology - Volume 02This paper aims to present software engineering ontology as software engineering knowledge representation for a multi-site software development. It will not only facilitate the capturing of software engineering knowledge but also enhance the sharing of ...
Development of software engineering: co-operative efforts from academia, government and industry
ICSE '06: Proceedings of the 28th international conference on Software engineeringIn the past 40 years, software engineering has emerged as an important sub-field of computer science. The quality and productivity of software have been improved and the cost and risk of software development been decreased due to the contributions made ...