Abstract
No abstract available.
Cited By
- Gibbons J, Kidney D, Schrijvers T and Wu N Phases in Software Architecture Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, (29-33)
- Ren Y and Fisler K A Social Threat Modeling Framework to Structure Teaching about Responsible Computing Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1, (402-408)
- Jones C and Thomas M (2022). The Development and Deployment of Formal Methods in the UK, Formal Aspects of Computing, 34:1, (1-21), Online publication date: 31-Mar-2022.
- Gu X, Heller M, Li S, Ren Y, Fisler K and Krishnamurthi S Using Design Alternatives to Learn About Data Organizations Proceedings of the 2020 ACM Conference on International Computing Education Research, (248-258)
- Liu Z, Bowen J, Liu B, Tyszberowicz S and Zhang T Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling Engineering Trustworthy Software Systems, (159-219)
- Pang C (2016). An Agile Architecture for a Legacy Enterprise IT System, International Journal of Organizational and Collective Intelligence, 6:4, (65-97), Online publication date: 1-Oct-2016.
- Huddlestone J, Harris D, Richards D, Scott S and Sears R Dual Pilot and Single Pilot Operations --- Hierarchical Task Decomposition Analysis of Doing More with Less Proceedings of the 12th International Conference on Engineering Psychology and Cognitive Ergonomics - Volume 9174, (365-376)
- Ramsey N (2014). On teaching *how to design programs*, ACM SIGPLAN Notices, 49:9, (153-166), Online publication date: 26-Nov-2014.
- Gorschek T, Tempero E and Angelis L (2014). On the use of software design models in software development practice, Journal of Systems and Software, 95, (176-193), Online publication date: 1-Sep-2014.
- Ramsey N On teaching *how to design programs* Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, (153-166)
- Hsieh C, Tsai C and Cheng Y Test-duo Proceedings of the 8th International Workshop on Automation of Software Test, (89-92)
- Sneed H and Majnar R A process for assessing data quality Proceedings of the 8th international workshop on Software quality, (50-57)
- van der Hoek A and Lopez N A design perspective on modularity Proceedings of the tenth international conference on Aspect-oriented software development, (265-280)
- Jackson M A tolerant approach to faults Dependable and Historic Computing, (273-282)
- Koono Z and Chen H Development of a Commercial Product Including Software Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (415-434)
- Sandén B (2009). Inspired software design early jackson methods to thread architectures, ACM SIGSOFT Software Engineering Notes, 34:4, (1-6), Online publication date: 6-Jul-2009.
- Jackson M (2008). Automated software engineering, Automated Software Engineering, 15:3-4, (275-281), Online publication date: 1-Dec-2008.
- Müller D, Reichert M and Herbst J Data-driven modeling and coordination of large process structures Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I, (131-149)
- Müller D, Reichert M and Herbst J Data-Driven Modeling and Coordination of Large Process Structures On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, (131-149)
- Taylor R and van der Hoek A Software Design and Architecture The once and future focus of software engineering 2007 Future of Software Engineering, (226-243)
- Meier S, Reinhard T, Stoiber R and Glinz M Modeling and Evolving Crosscutting Concerns in ADORA Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
- Bergin J Patterns for agile development practice part 3 (version 4) Proceedings of the 2006 conference on Pattern languages of programs, (1-14)
- Koono Z, Abolhassani H and Chen H A New Way of Automatic Design of Software (Simulating Human Intentional Activity) Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, (407-420)
- Boehm B A view of 20th and 21st century software engineering Proceedings of the 28th international conference on Software engineering, (12-29)
- Seybold C, Meier S and Glinz M Scenario-driven modeling and validation of requirements models Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, (83-89)
- Matthews J, Findler R, Graunke P, Krishnamurthi S and Felleisen M (2004). Automatically Restructuring Programs for the Web, Automated Software Engineering, 11:4, (337-364), Online publication date: 1-Oct-2004.
- Fiadeiro J Software services Proceedings of the First international conference on Theoretical Aspects of Computing, (1-13)
- Ourusoff N (2004). Reinvigorating the software engineering curriculum with Jackson's methods and ideas, ACM SIGCSE Bulletin, 36:2, (93-96), Online publication date: 1-Jun-2004.
- Capretz L (2003). A brief history of the object-oriented approach, ACM SIGSOFT Software Engineering Notes, 28:2, (6), Online publication date: 1-Mar-2003.
- Griswold W (2002). Teaching Software Engineering in a Compiler Project Course, Journal on Educational Resources in Computing, 2:4, (3-es), Online publication date: 1-Dec-2002.
- van der Poll J and Kotzé P What design heuristics may enhance the utility of a formal specification? Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (179-194)
- Moses J, Farrow M and Smith P (2002). Statistical Methods for Predicting and Improving Cohesion Using Information Flow, Software Quality Journal, 10:1, (11-46), Online publication date: 1-Jul-2002.
- Graunke P, Findler R, Krishnamurthi S and Felleisen M Automatically Restructuring Programs for the Web Proceedings of the 16th IEEE international conference on Automated software engineering
- Terekhov A Automating Language Conversion Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- Couch A An Expectant Chat About Script Maturity Proceedings of the 14th USENIX conference on System administration, (15-28)
- Abolhassani H, Chen H, Far B and Koono Z Software Creation Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Lin K, McEwan W and Liechti J (1999). A software quality strategy for the development of automatic control systems, International Journal of Computer Applications in Technology, 12:2-5, (131-140), Online publication date: 1-Jul-1999.
- Mills E (1999). Metrics in the software engineering curriculum, Annals of Software Engineering, 6:1-4, (181-200), Online publication date: 1-Apr-1999.
- Boehm B and Port D Conceptual Modeling Challenges for Model-Based Architecting and Software Engineering (MBASE) Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions, (24-43)
- Boehm B (1999). Escaping the software tar pit, ACM SIGSOFT Software Engineering Notes, 24:1, (36-48), Online publication date: 1-Jan-1999.
- Li B, Xu B and Yu H (1998). Transforming Ada serving tasks into protected objects, ACM SIGAda Ada Letters, XVIII:6, (240-245), Online publication date: 1-Nov-1998.
- Li B, Xu B and Yu H Transforming Ada serving tasks into protected objects Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (240-245)
- Goldin L and Berry D (1997). AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation, Automated Software Engineering, 4:4, (375-412), Online publication date: 1-Oct-1997.
- Modugno F, Leveson N, Reese J, Partridge K and Sandys S (1997). Integrated safety analysis of requirements specifications, Requirements Engineering, 2:2, (65-78), Online publication date: 1-Jun-1997.
- Shapiro S (1997). Splitting the Difference, IEEE Annals of the History of Computing, 19:1, (20-54), Online publication date: 1-Jan-1997.
- Zave P and Jackson M (1996). Where Do Operations Come From? A Multiparadigm Specification Technique, IEEE Transactions on Software Engineering, 22:7, (508-528), Online publication date: 1-Jul-1996.
- Dromey R (1996). Cornering the Chimera, IEEE Software, 13:1, (33-43), Online publication date: 1-Jan-1996.
- Pennington N, Lee A and Rehder B (2018). Cognitive activities and levels of abstraction in procedural and object-oriented design, Human-Computer Interaction, 10:2, (171-226), Online publication date: 1-Sep-1995.
- Moriconi M, Qian X and Riemenschneider R (1995). Correct Architecture Refinement, IEEE Transactions on Software Engineering, 21:4, (356-3), Online publication date: 1-Apr-1995.
- Dromey R (1995). A Model for Software Product Quality, IEEE Transactions on Software Engineering, 21:2, (146-162), Online publication date: 1-Feb-1995.
- Moriconi M and Qian X (1994). Correctness and composition of software architectures, ACM SIGSOFT Software Engineering Notes, 19:5, (164-174), Online publication date: 1-Dec-1994.
- Moriconi M and Qian X Correctness and composition of software architectures Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, (164-174)
- Vessey I and Conger S (1994). Requirements specification, Communications of the ACM, 37:5, (102-113), Online publication date: 1-May-1994.
- Lee A and Pennington N (1994). The effects of paradigm on cognitive activities in design, International Journal of Human-Computer Studies, 40:4, (577-601), Online publication date: 1-Apr-1994.
- Lustman F (1994). Specifying Transaction-Based Information Systems with Regular Expressions, IEEE Transactions on Software Engineering, 20:3, (207-217), Online publication date: 1-Mar-1994.
- Krishnan M Cost, quality and user satisfaction of software products Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1, (400-411)
- Edwards H and Munro M RECAST Proceedings of the 15th international conference on Software Engineering, (499-508)
- van Batenburg F, Bos V, Riethoven J, Abrahams J and Pley C (1992). Porting and optimising star, ACM SIGAPL APL Quote Quad, 23:1, (265-274), Online publication date: 15-Jul-1992.
- van Batenburg F, Bos V, Riethoven J, Abrahams J and Pley C Porting and optimising star Proceedings of the international conference on APL, (265-274)
- Wrigley C and Dexter A (1991). A model for measuring information system size, MIS Quarterly, 15:2, (245-257), Online publication date: 1-Jun-1991.
- Lee S and Sluizer S (1991). An Executable Language for Modeling Simple Behavior, IEEE Transactions on Software Engineering, 17:6, (527-543), Online publication date: 1-Jun-1991.
- Litke J Toward new techniques to assess the software implementation process Proceedings of the 13th international conference on Software engineering, (74-82)
- Jackson D Aspect Proceedings of the 13th international conference on Software engineering, (13-22)
- Nakata I and Sassa M (1991). Programming with Streams in a Pascal-Like Language, IEEE Transactions on Software Engineering, 17:1, (1-9), Online publication date: 1-Jan-1991.
- Rosson M and Alpert S (1990). The cognitive consequences of object-oriented design, Human-Computer Interaction, 5:4, (345-379), Online publication date: 1-Dec-1990.
- Tan L, Shinoda Y and Katayama T (1990). Coping with changes in an object management system based on attribute grammars, ACM SIGSOFT Software Engineering Notes, 15:6, (56-65), Online publication date: 1-Dec-1990.
- Auguston M (1990). Programming language RIGAL as a compiler writing tool, ACM SIGPLAN Notices, 25:12, (61-69), Online publication date: 1-Dec-1990.
- Wand Y and Weber R (1990). An Ontological Model of an Information System, IEEE Transactions on Software Engineering, 16:11, (1282-1292), Online publication date: 1-Nov-1990.
- Tan L, Shinoda Y and Katayama T Coping with changes in an object management system based on attribute grammars Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (56-65)
- Henderson-Sellers B and Edwards J (1990). The object-oriented systems life cycle, Communications of the ACM, 33:9, (142-159), Online publication date: 1-Sep-1990.
- Wing J (1990). A Specifier's Introduction to Formal Methods, Computer, 23:9, (8-23), Online publication date: 1-Sep-1990.
- Murray A (1990). Ada tasking as a tool for ecological modelling, ACM SIGAda Ada Letters, X:7, (85-90), Online publication date: 1-Aug-1990.
- Lehman J (1989). An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs, IEEE Transactions on Software Engineering, 15:9, (1131-1135), Online publication date: 1-Sep-1989.
- Jonsson D (1989). Graphical program notations, ACM SIGSOFT Software Engineering Notes, 14:5, (78-79), Online publication date: 1-Jul-1989.
- Inoue K, Ogihara T, Kikuno T and Torii K A formal adaption method for process descriptions Proceedings of the 11th international conference on Software engineering, (145-153)
- Maarek Y and Berry D (1989). The use of lexical affinities in requirements extraction, ACM SIGSOFT Software Engineering Notes, 14:3, (196-202), Online publication date: 1-May-1989.
- Maarek Y and Berry D The use of lexical affinities in requirements extraction Proceedings of the 5th international workshop on Software specification and design, (196-202)
- Sanden B (1989). An entity-life modeling approach to the design of concurrent software, Communications of the ACM, 32:3, (330-343), Online publication date: 1-Mar-1989.
- Backhouse R, Chisholm P, Malcolm G and Saaman E (1989). Do-it-yourself type theory, Formal Aspects of Computing, 1:1, (19-84), Online publication date: 1-Mar-1989.
- Mitchell W (1989). What is to become of programming?, ACM SIGCSE Bulletin, 21:1, (131-135), Online publication date: 1-Feb-1989.
- Gantenbein R (1989). Programming as process: a “novel” approach to teaching programming, ACM SIGCSE Bulletin, 21:1, (22-26), Online publication date: 1-Feb-1989.
- Mitchell W What is to become of programming? Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (131-135)
- Gantenbein R Programming as process: a “novel” approach to teaching programming Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (22-26)
- Armenise P (1989). A structured approach to program optimization, IEEE Transactions on Software Engineering, 15:2, (101-108), Online publication date: 1-Feb-1989.
- Lew K, Dillon T and Forward K (1988). Software Complexity and its Impact on Software Reliability, IEEE Transactions on Software Engineering, 14:11, (1645-1655), Online publication date: 1-Nov-1988.
- Mano N Modeling of data-processing software for generating and reusing their programs Proceedings of the 10th international conference on Software engineering, (231-240)
- Mantei M and Teorey T (1988). Cost/benefit analysis for incorporating human factors in the software lifecycle, Communications of the ACM, 31:4, (428-439), Online publication date: 1-Apr-1988.
- Flaherty T (1988). A simple technique to motivate structured programming, ACM SIGCSE Bulletin, 20:1, (153-155), Online publication date: 1-Feb-1988.
- Flaherty T A simple technique to motivate structured programming Proceedings of the nineteenth SIGCSE technical symposium on Computer science education, (153-155)
- Nejmeh B The design of a PDL environment Proceedings of the 1988 ACM sixteenth annual conference on Computer science, (287-298)
- Gabriel R A formalism for the definition of graphical formulas Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES, (28-35)
- Westphal C (1988). Knowledge engineering for software design, ACM SIGSOFT Software Engineering Notes, 13:1, (57-58), Online publication date: 3-Jan-1988.
- Dromey R (1988). Systematic Program Development, IEEE Transactions on Software Engineering, 14:1, (12-29), Online publication date: 1-Jan-1988.
- Symons C (1988). Function Point Analysis, IEEE Transactions on Software Engineering, 14:1, (2-11), Online publication date: 1-Jan-1988.
- Van Wyk C (1987). Literate programming, Communications of the ACM, 30:12, (1000-1010), Online publication date: 1-Dec-1987.
- Bentley J (1987). Programming pearls, Communications of the ACM, 30:12, (998-ff.), Online publication date: 1-Dec-1987.
- Kokol P (1987). The JSP-Tutor: a computerized aid for teaching Jackson structured programming, ACM SIGSMALL/PC Notes, 13:4, (52-59), Online publication date: 1-Nov-1987.
- Jonsson D (1987). Pancode and boxcharts: structured programming revisited, ACM SIGPLAN Notices, 22:8, (89-98), Online publication date: 1-Aug-1987.
- Nielsen K and Shumate K (1987). Designing large real-time systems with Ada, Communications of the ACM, 30:8, (695-715), Online publication date: 1-Aug-1987.
- Allen D, Dempsey M and Goldsmith L (1987). System development methodology using LOGOS, ACM SIGAPL APL Quote Quad, 17:4, (138-150), Online publication date: 1-May-1987.
- Bjorner D On the use of formal methods in software development Proceedings of the 9th international conference on Software Engineering, (17-29)
- van Lamsweerde A, Buyse M, Delcourt B, Delor E, Ervier M and Schayes M (1987). The kernel of a generic software development environment, ACM SIGPLAN Notices, 22:1, (208-217), Online publication date: 1-Jan-1987.
- Wasserman A and Pircher P (1987). A graphical, extensible integrated environment for software development, ACM SIGPLAN Notices, 22:1, (131-142), Online publication date: 1-Jan-1987.
- Allen D, Dempsey M and Goldsmith L System development methodology using LOGOS Proceedings of the international conference on APL: APL in transition, (138-150)
- Houghton R and Wallace D (1987). Characteristics and functions of software environments: an overview, ACM SIGSOFT Software Engineering Notes, 12:1, (64-84), Online publication date: 1-Jan-1987.
- van Lamsweerde A, Buyse M, Delcourt B, Delor E, Ervier M and Schayes M The kernel of a generic software development environment Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (208-217)
- Wasserman A and Pircher P A graphical, extensible integrated environment for software development Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (131-142)
- McKay K, Buzacott J, Moore J and Strang C Software engineerng applied to discrete event simulations Proceedings of the 18th conference on Winter simulation, (485-493)
- Carey J and McLeod R System development methodologies and tools Proceedings of the twenty-second annual computer personnel research conference on Computer personnel research conference, (151-162)
- Richter C (1986). An assessment of structured analysis and structured design, ACM SIGSOFT Software Engineering Notes, 11:4, (41-45), Online publication date: 1-Aug-1986.
- Early M (1986). Relating software requirements to software design, ACM SIGSOFT Software Engineering Notes, 11:3, (37-39), Online publication date: 1-Jul-1986.
- Botting R (1986). Into the fourth dimension—an introduction to dynamic analysis and design, ACM SIGSOFT Software Engineering Notes, 11:2, (36-48), Online publication date: 1-Apr-1986.
- Ashenhurst R (1986). ACM forum, Communications of the ACM, 29:2, (87-90), Online publication date: 1-Feb-1986.
- Habermann A Technological advances in software engineering Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (29-37)
- Berry D, Yavne N and Yavne M (1986). On the requirements for the use of a program design language, ACM SIGAda Ada Letters, VI:1, (82-89), Online publication date: 1-Jan-1986.
- Sanden B (1985). Systems programming with JSP: example—a VDU controller, Communications of the ACM, 28:10, (1059-1067), Online publication date: 1-Oct-1985.
- Ashenhurst R (1985). ACM forum, Communications of the ACM, 28:8, (789-794), Online publication date: 1-Aug-1985.
- Pidgeon C and Freeman P Development concerns for a software design quality expert system Proceedings of the 22nd ACM/IEEE Design Automation Conference, (562-568)
- Blum B (1985). Understanding the software paradox, ACM SIGSOFT Software Engineering Notes, 10:1, (43-46), Online publication date: 1-Jan-1985.
- Molluzzo J (1984). Modular assembler language programming, ACM SIGCSE Bulletin, 16:3, (17-20), Online publication date: 1-Sep-1984.
- Sathi H (1984). A project-oriented course for software systems development, ACM SIGCSE Bulletin, 16:3, (2-4), Online publication date: 1-Sep-1984.
- Gomaa H (1984). A software design method for real-time systems, Communications of the ACM, 27:9, (938-949), Online publication date: 1-Sep-1984.
- Ince D (1984). Module interconnection languages and Prolog, ACM SIGPLAN Notices, 19:8, (89-93), Online publication date: 1-Aug-1984.
- Loesh R, Reifer D and Jacobs S Software management issues for new system designs Proceedings of the July 9-12, 1984, national computer conference and exposition, (267-272)
- Torii K, Sugiyama Y, Morisawa Y and Kasami T Functional programming and logical programming for the telegram analysis problem Proceedings of the 7th international conference on Software engineering, (463-472)
- Lucena C, Martins R, Veloso P and Cowan D The data transform programming method Proceedings of the 7th international conference on Software engineering, (388-397)
- DeMarco T and Soceneantu A SYNCRO Proceedings of the 7th international conference on Software engineering, (207-213)
- Zave P (1984). The operational versus the conventional approach to software development, Communications of the ACM, 27:2, (104-118), Online publication date: 1-Feb-1984.
- Yuen C (1983). The programmer as navigator, ACM SIGPLAN Notices, 18:9, (70-78), Online publication date: 1-Sep-1983.
- Molluzzo J (1983). A curriculum for a University course in advanced COBOL, ACM SIGCSE Bulletin, 15:3, (44-49), Online publication date: 1-Sep-1983.
- Day F Computer Aided Software Engineering (CASE) Proceedings of the 20th Design Automation Conference, (129-136)
- Sanders D Using Jackson diagrams to classify and define data structures Proceedings of the fourteenth SIGCSE technical symposium on Computer science education, (137-142)
- Sanders D (1983). Using Jackson diagrams to classify and define data structures, ACM SIGCSE Bulletin, 15:1, (137-142), Online publication date: 1-Feb-1983.
- Zave P Operational specification languages Proceedings of the 1983 annual conference on Computers : Extending the human resource, (214-222)
- Baldwin R (1983). Leaves from the notebook of a veteran programmer/analyst, ACM SIGSOFT Software Engineering Notes, 8:1, (16-16), Online publication date: 1-Jan-1983.
- Evans M (1982). Software engineering for the Cobol environment, Communications of the ACM, 25:12, (874-882), Online publication date: 1-Dec-1982.
- Haring G (1982). On state-dependent workload characterization by software resources, ACM SIGMETRICS Performance Evaluation Review, 11:4, (51-57), Online publication date: 1-Dec-1982.
- Ramanathan J and Shubra C (1982). Use of annotated schemes for developing prototype programs, ACM SIGSOFT Software Engineering Notes, 7:5, (141-149), Online publication date: 1-Dec-1982.
- Babb R Data-driven implementation of data flow diagrams Proceedings of the 6th international conference on Software engineering, (309-318)
- Kuo H, Li C and Ramanathan J A form-based approach to human engineering methodologies Proceedings of the 6th international conference on Software engineering, (254-263)
- Hamer P and Frewin G M.H. Halstead's Software Science - a critical examination Proceedings of the 6th international conference on Software engineering, (197-206)
- Naumann J and Jenkins A (1982). Prototyping, MIS Quarterly, 6:3, (29-44), Online publication date: 1-Sep-1982.
- Haring G On state-dependent workload characterization by software resources Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems, (51-57)
- Meyer B (1982). Principles of package design, Communications of the ACM, 25:7, (419-428), Online publication date: 1-Jul-1982.
- Attardi G and Simi M Extending the power of programming by examples Proceedings of the SIGOA conference on Office information systems, (52-66)
- Attardi G and Simi M (1982). Extending the power of programming by examples, ACM SIGOA Newsletter, 3:1-2, (52-66), Online publication date: 1-Jun-1982.
- Howden W (1982). Validation of Scientific Programs, ACM Computing Surveys, 14:2, (193-227), Online publication date: 1-Jun-1982.
- Howden W (1982). Contemporary software development environments, Communications of the ACM, 25:5, (318-329), Online publication date: 1-May-1982.
- Ramanathan J and Shubra C Use of annotated schemes for developing prototype programs Proceedings of the workshop on Rapid prototyping, (141-149)
- Urban J, Edmonds L, Holland D, King B, Moghis M and Valencia H An analysis of programming environments Proceedings of the 20th annual Southeast regional conference, (182-188)
- Wasserman A and Gutz S (1982). The future of programming, Communications of the ACM, 25:3, (196-206), Online publication date: 1-Mar-1982.
- Hassell J and Law V Tutorial on structure charts as an algorithm design tool Proceedings of the thirteenth SIGCSE technical symposium on Computer science education, (211-223)
- Collofello J and Woodfield S A project-unified software engineering course sequence Proceedings of the thirteenth SIGCSE technical symposium on Computer science education, (13-19)
- Hassell J and Law V (1982). Tutorial on structure charts as an algorithm design tool, ACM SIGCSE Bulletin, 14:1, (211-223), Online publication date: 1-Feb-1982.
- Collofello J and Woodfield S (1982). A project-unified software engineering course sequence, ACM SIGCSE Bulletin, 14:1, (13-19), Online publication date: 1-Feb-1982.
- O'Neill L A retrospective on software engineering in design automation Proceedings of the 19th Design Automation Conference, (10-14)
- Shaw C (1982). Structure charts for Jackson structured programming, ACM SIGSOFT Software Engineering Notes, 7:1, (78-80), Online publication date: 1-Jan-1982.
- Molluzzo J (1981). Jackson techniques for elementary data processing, ACM SIGCSE Bulletin, 13:4, (16-20), Online publication date: 1-Dec-1981.
- Dwyer B (1981). Technical correspondence, Communications of the ACM, 24:8, (538-539), Online publication date: 1-Aug-1981.
- Peterson W (1981). Technical correspondence, Communications of the ACM, 24:8, (536-538), Online publication date: 1-Aug-1981.
- Howden W, Cohen P, Irvine A, King J, Powell P, Riddle W, Stucki L and Tripp L (1981). Contemporary software development environments, ACM SIGSOFT Software Engineering Notes, 6:4, (6-15), Online publication date: 1-Aug-1981.
- Scheffer P (1981). Comparisons of quality metrics, ACM SIGSOFT Software Engineering Notes, 6:3, (76-77), Online publication date: 1-Jul-1981.
- Nash D and Willman H Software engineering applied to computer-aided design (CAD) software development Proceedings of the 18th Design Automation Conference, (530-539)
- Whitney V and Morse J Choosing application development tools and techniques Proceedings of the May 4-7, 1981, national computer conference, (565-570)
- Levinson E, Levy L and Salisbury J CARL Proceedings of the May 4-7, 1981, national computer conference, (241-248)
- Mano Y, Omaki K and Torii K (1981). An intelligent multi-display terminal system towards, ACM SIGSOFT Software Engineering Notes, 6:2, (8-14), Online publication date: 1-Apr-1981.
- Szulewski P, Whitworth M, Buchan P and DeWolf J (1981). The measurement of software science parameters in software designs, ACM SIGMETRICS Performance Evaluation Review, 10:1, (89-94), Online publication date: 1-Apr-1981.
- Futamura Y, Kawai T, Horikoshi H and Tsutsumi M Development of computer programs by problem analysis Diagram(PAD) Proceedings of the 5th international conference on Software engineering, (325-332)
- Azuma M, Takahashi M, Kamiya S and Minomura K Interactive software development tool Proceedings of the 5th international conference on Software engineering, (153-162)
- Jacobs S Teaching software engineering in the adult education environment Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (120-124)
- Jacobs S (1981). Teaching software engineering in the adult education environment, ACM SIGCSE Bulletin, 13:1, (120-124), Online publication date: 1-Feb-1981.
- Ramanathan J and Shubra C Modeling of problem domains for driving program development systems Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (28-40)
- Logrippo L Input-directed program design Proceedings of the ACM '81 conference, (263-267)
- Szulewski P, Whitworth M, Buchan P and DeWolf J The measurement of software science parameters in software designs Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, (89-94)
- Howden W (1980). Applicability of Software Validation Techniques to Scientific Programs, ACM Transactions on Programming Languages and Systems, 2:3, (307-320), Online publication date: 1-Jul-1980.
- House R (1980). Comments on program specification and testing, Communications of the ACM, 23:6, (324-331), Online publication date: 1-Jun-1980.
- Perkins T and Beck L A project-oriented undergraduate course sequence in software engineering Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (32-39)
- Perkins T and Beck L (1980). A project-oriented undergraduate course sequence in software engineering, ACM SIGCSE Bulletin, 12:1, (32-39), Online publication date: 1-Feb-1980.
- Orr K Structured requirements definition in the 80s Proceedings of the ACM 1980 annual conference, (350-354)
- Alford M Software requirements in the 80's Proceedings of the ACM 1980 annual conference, (342-349)
- Schrage J Educator's view of structured concepts Proceedings of the ACM 1980 annual conference, (327-341)
- Orr K Structured programming in the 1980s Proceedings of the ACM 1980 annual conference, (323-326)
- Menard J (1980). Exxon's experience with the Michael Jackson design method, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 11:3, (88-92), Online publication date: 1-Jan-1980.
- Ryan K Software engineering and simulation Proceedings of the 11th conference on Winter simulation - Volume 2, (477-482)
- Collins W (1979). A data-oriented introduction to program design, ACM SIGCSE Bulletin, 11:4, (49-55), Online publication date: 1-Dec-1979.
- Babb R and Tripp L (1979). An approach to defining areas within the field of software engineering, ACM SIGSOFT Software Engineering Notes, 4:4, (9-17), Online publication date: 1-Oct-1979.
- Penedo M and Berry D The use of a Module Interconnection Language in the SARA system design methodology Proceedings of the 4th international conference on Software engineering, (294-307)
- Biewald J, Goehner P, Lauber R and Schelling H EPOS - a specification and design technique for computer controlled real-time automation systems Proceedings of the 4th international conference on Software engineering, (245-250)
- Boehm B Software engineering-as it is Proceedings of the 4th international conference on Software engineering, (11-21)
- Ryan K Accelerated program training in a developing country Proceedings of the sixteenth annual SIGCPR conference, (25-33)
- Marca D (1979). A method for specifying structured programs, ACM SIGSOFT Software Engineering Notes, 4:3, (22-31), Online publication date: 1-Jul-1979.
- Gelperin D (1979). Testing maintainability, ACM SIGSOFT Software Engineering Notes, 4:2, (7-12), Online publication date: 1-Apr-1979.
- Noonan R (1979). The second course in computer programming, ACM SIGCSE Bulletin, 11:1, (187-191), Online publication date: 1-Feb-1979.
- Boehm B Software engineering Classics in software engineering, (323-361)
- Noonan R The second course in computer programming Proceedings of the tenth SIGCSE technical symposium on Computer science education, (187-191)
- Parker J (1978). A comparison of design methodologies, ACM SIGSOFT Software Engineering Notes, 3:4, (12-19), Online publication date: 1-Oct-1978.
- Mohilner P (1978). Prettyprinting PASCAL programs, ACM SIGPLAN Notices, 13:7, (34-40), Online publication date: 1-Jul-1978.
- Bergland G Structured design methodologies Proceedings of the 15th Design Automation Conference, (475-493)
- Jackson M Information systems Proceedings of the 3rd international conference on Software engineering, (72-81)
- Freeman P and Wasserman A A proposed curriculum for software engineering education Proceedings of the 3rd international conference on Software engineering, (56-62)
- Lindsey C (1977). Structure charts a structured alternative to flowcharts, ACM SIGPLAN Notices, 12:11, (36-49), Online publication date: 1-Nov-1977.
- Yourdon E The choice of new software development methodologies for software development projects Proceedings of the June 13-16, 1977, national computer conference, (261-265)
- Alford M, Hsia P and Petry F Use of software engineering methodologies in a computer science curriculum Proceedings of the 15th annual Southeast regional conference, (470-482)
- Wasserman A The evolution of specification techniques Proceedings of the 1977 annual conference, (134-137)
- Dickover M, McGowan C and Ross D Software design using Proceedings of the 1977 annual conference, (125-133)
- de Lavigne K Basic program design - the Jackson way Proceedings of the 1977 annual conference, (115-124)
- Boehm B (1976). Software Engineering, IEEE Transactions on Computers, 25:12, (1226-1241), Online publication date: 1-Dec-1976.
Index Terms
- Principles of Program Design
Recommendations
Basic Design Principles in Software Engineering
ICCIS '12: Proceedings of the 2012 Fourth International Conference on Computational and Information SciencesDesign Principles are standards used to organize and arrange the structural components of Software Engineering design. Methods in which these design principles are applied affect the expressive content and the working process from the start. Design ...
Making Use of Design Principles
Proceedings of the 11th International Conference on Tackling Society's Grand Challenges with Design Science - Volume 9661This paper reports on the results of a study that investigates how design principles are used in design practice. Design principles have become the predominant way to capture abstract knowledge about the design of information systems IS artifacts--and ...