Referencer

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Referencer</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <A HREF="id118.htm" TARGET="_top" TITLE="Konklusion"><U><B><IMG SRC="003151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="index.htm" TARGET="_top" TITLE="Generel systemmodellering og systemudvik"><U><B><IMG SRC="0c80d1d0.gif" border=0 width="13" height="29" ALT="up" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Abowd, Gregory & Allen, Robert & Garlan, David (1993). <A HREF="abowd__allen___garlan__1993__using_style_to_understand_descriptions_of_software_.htm" TARGET="_top" TITLE="Using Style to Understand Descriptions o"><U>Using Style to Understand Descriptions of Software Architecture</U></A>, ACM SIGSOFT Software Engineering Notes, Vol. 18, No. 5, Dec. 1993 & SIGSOFT '93. Proceedings of the first ACM symposium on Foundations of software engineering</div> <div> Agerholm, Sten & Larsen, Peter Gorm (1998). <A HREF="agerholm___larsen__1998__a_lightweight_approach_to_formal_methods.htm" TARGET="_top" TITLE="A Lightweight Approach to Formal Methods"><U>A Lightweight Approach to Formal Methods</U></A>, Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Springer-Verlag.</div> <div> Andersen, Niels Erik & Kensing, Finn & Lassen, Monika & Lundin, Jette & Mathiassen, Lars & Munk-Madsen, Andreas & Sørgaard, Pål (1986). <A HREF="andersen__kensing__lassen__lundin__mathiassen__munk_madsen___sørgaard__1986__pro.htm" TARGET="_top" TITLE="Professionel Systemudvikling"><U>Professional Systemudvikling</U></A>, Teknisk Forlag.</div> <div> Appel, Andrew W. (1998). <A HREF="appel__1998__modern_compiler_implementation_in_java.htm" TARGET="_top" TITLE="Modern Compiler Implementation in Java"><U>Modern compiler implementation in Java</U></A>, Cambridge University Press.</div> <div> Ashcroft, Ed & Wadge, Bill (1985). <A HREF="ashcroft___wadge__1995__lucid_primer.htm" TARGET="_top" TITLE="Lucid Primer"><U>Lucid Primer</U></A>, fra Lucid, the Dataflow Programming Language. Academic Press.</div> <div> Avison, D. E. & Fitzgerald, G. (1995). <A HREF="avison___fitzgerald__1995__information_systems_development.htm" TARGET="_top" TITLE="Information Systems Development"><U>Information Systems Development</U></A>, McGraw-Hill International (UK).</div> <div> Avison, D. E. & Wood-Harper, A. T. (1990). <A HREF="avison___wood_harper__1990__multiview.htm" TARGET="_top" TITLE="Multiview"><U>Multiview</U></A>, Blackwell Scientific Publications.</div> <div> Bakker, J. W. de & Roever, W.-P. de & Rozenberg, G. (1994). A Decade of Concurrency, Lecture Notes in Computer Science Vol. 803, Springer-Verlag.</div> <div> Baldwin, Reid & Chung, Moon Jung (1994). <A HREF="baldwin___chung__1994__design_methodology_management_using_graph_grammars.htm" TARGET="_top" TITLE="Design Methodology Management Using Grap"><U>Design Methodology Management Using Graph Grammars</U></A>, DAC '94. Proceedings of the 31st annual conference on Design Automation.</div> <div> Baresi, Luciano & Pezzé (1998). <A HREF="baresi___pezzé__1998__toward_formalizing_structured_analysis.htm" TARGET="_top" TITLE="Toward Formalizing Structured Analysis"><U>Toward Formalizing Structured Analysis</U></A>, ACM Transactions on Software Engineering and Methodology, Vol. 7, No. 1, January 1998.</div> <div> Bassett, Paul G. (1987). <A HREF="bassett__1987__frame_based_software_engineering.htm" TARGET="_top" TITLE="FrameBased Software Engineering"><U>Frame-Based Software Engineering</U></A>, IEEE Software, Vol. 4, No. 4, July 1987 & i DeMarco & Lister (1990).</div> <div> Battista, Giuseppe Di & Eades, Peter & Tamassia, Roberto & Tollis, Ioannis G. (1999). <A HREF="battista__eades__tamassia___tollis__1999__graph_drawing__algorithms_for_the_visu.htm" TARGET="_top" TITLE="Graph Drawing: Algorithms for the Visual"><U>Graph Drawing: Algorithms for the Visualization of Graphs</U></A>, Prentice-Hall.</div> <div> Bertalanffy, Ludwig von (1968). <A HREF="bertalanffy__1968__general_system_theory.htm" TARGET="_top" TITLE="General System Theory"><U>General System Theory</U></A>, George Braziller.</div> <div> Bézivin, Jean (1998). <A HREF="snets__1998__snet_formalism___technical_report__the.htm" TARGET="_top" TITLE="sNet Formalism Technical Report, The"><U>The sNet Formalism - Technical Report</U></A>, http://www.sciences.univ-nantes.fr/info/lrsg/sNets/index.html.</div> <div> Bézivin, Jean (1998). <A HREF="bézivin__1998__who_s_afraid_of_ontologies_.htm" TARGET="_top" TITLE="Whos Afraid of Ontologies?"><U>Who's Afraid of Ontologies?</U></A>, OOPSLA'98 Workshop #25.</div> <div> Boehm, Barry W. (1988). <A HREF="boehm__1988__a_spiral_model_of_software_development_and_enhancement.htm" TARGET="_top" TITLE="A spiral model of software development a"><U>A Spiral Model of Software Development and Enhancement</U></A>, IEEE Computer, Vol. 21, May 1988.</div> <div> Boehm, Barry W. & Penedo, Maria H. & Stuckle, Don & Williams, Robert D. & Pyster, Arthur B. (1984). <A HREF="boehm__penedo__stuckle__williams___pyster__1984__a_software_development_environm.htm" TARGET="_top" TITLE="A Software Development Environment"><U>A Software Development Environment</U></A>, IEEE Computer, Vol. 17, No. 6, June 1986 & i DeMarco & Lister (1990).</div> <div> Boulding, Kenneth E. (1956). <A HREF="boulding__1956__general_systems_theory___the_skeleton_of_science.htm" TARGET="_top" TITLE="General Systems Theory The Skeleton of "><U>General Systems Theory - The Skeleton of Science</U></A>, Management Science, 2, & i Klir (1991).</div> <div> Brinksma, E. (1997). Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97) Workshop, Lecture Notes in Computer Science, Springer-Verlag.</div> <div> Brooks, jr., Fredrick P. (1995, 1975). <A HREF="brooks__1995__the_mythical_man_month.htm" TARGET="_top" TITLE="The Mythical ManMonth"><U>The Mythical Man-Month</U></A>, Addison Wesley Longman.</div> <div> Brooks, jr., Fredrick P. (1986). <A HREF="brooks__1986__no_silver_bullet.htm" TARGET="_top" TITLE="No Silver Bullet"><U>No Silver Bullet</U></A>, i: Kugler, H. J. (1986) Information Processing 86, Elsevier Science (North Holland) & IEEE Computer, Vol. 20, No. 4, April 1987.</div> <div> Brooks, jr., Fredrick P. (1995). <A HREF="brooks__1995___no_silver_bullet__refired.htm" TARGET="_top" TITLE="No Silver Bullet Refired"><U>"No Silver Bullet" Refired</U></A>, i Brooks (1995, 1975).</div> <div> Brown, John Seely & Duguid, Paul (1996). <A HREF="brown___duguid__1996__keeping_it_simple.htm" TARGET="_top" TITLE="Keeping It Simple"><U>Keeping It Simple</U></A>, i Winograd (1996).</div> <div> Brown, William J. & Malveau, Raphael C. & McCormick III, Hays W. "Skip" & Mowbray, Thomas J. (1998). <A HREF="brown__malveau__mccormick___mowbray__1998__anti_patterns.htm" TARGET="_top" TITLE="Anti Patterns: Refactoring Software, Arc"><U>Anti Patterns: Refactoring Software, Architectures, and Projects in Crisis</U></A>, John Wiley & Sons.</div> <div> Butler, Keith A. & Esposito, Chris & Hebron, Ron, <A HREF="butler__esposito___hebron__1999__connecting_the_design_of_software_to_the_design.htm" TARGET="_top" TITLE="Connecting the Design of Software to the"><U>Connecting the Design of Software to the Design of Work</U></A>, Communications of the ACM, Vol. 42, No. 1, January 1999</div> <div> CDIF Technical Committee (1994). <A HREF="cdif_technical_committee__1994__cdif_framework_for_modeling_and_extensibility.htm" TARGET="_top" TITLE="CDIF Framework for Modeling and Extensib"><U>CDIF Framework for Modeling and Extensibility</U></A>, Electronic Industries Association.</div> <div> Champeaux, Dennis de & Lea, Douglas & Faure, Penelope (1993). <A HREF="champeaux__lea___faure__1993__object_oriented_system_development.htm" TARGET="_top" TITLE="ObjectOriented System Development"><U>Object-Oriented System Development</U></A>, Addison-Wesley.</div> <div> Charette, Robert N. (1987). <A HREF="charette__1987__software_engineering_environments.htm" TARGET="_top" TITLE="Software Engineering Environments: Conce"><U>Software Engineering Environments: Concepts and Technology</U></A>, McGraw-Hill.</div> <div> Checkland, Peter & Scholes, Jim (1990). <A HREF="checkland__1990__soft_systems_methodology_in_action.htm" TARGET="_top" TITLE="Soft Systems Methodology in Action"><U>Soft Systems Methodology in Action</U></A>, John Wiley & Sons.</div> <div> Christensen, Søren & Kreiner, Kristian (1994). <A HREF="christensen_kreiner__1994___projektledelse_i_løst_koblede_systemer.htm" TARGET="_top" TITLE="Projektledelse i løst koblede systemer"><U>Projektledelse i løst koblede systemer</U></A>, Jurist- og Økonomforbundets Forlag.</div> <div> Ciancarini, Paolo (1996). <A HREF="ciancarini__1996__coordination_models_and_languages_as_software_integrators.htm" TARGET="_top" TITLE="Coordination Models and Languages as Sof"><U>Coordination Models and Languages as Software Integrators</U></A>, ACM Computing Surveys, Vol. 28, No. 2, June 1996.</div> <div> Clarke, Edmund M. & Wing, Jeanette, M. (1996). <A HREF="clarke___wing__1996__formal_methods__state_of_the_art_and_future_directions.htm" TARGET="_top" TITLE="Formal Methods: State of the Art and Fut"><U>Formal Methods: State of the Art and Future Directions</U></A>, ACM Computing Surveys, Vol. 28, No. 4, December 1996.</div> <div> Consens, Mariano & Mendelzon, Alberto & Ryman, Arthur (1992). <A HREF="consens__mendelzon___ryman__1992__visualizing_and_querying_software_structures.htm" TARGET="_top" TITLE="Visualizing and Querying Software Struct"><U>Visualizing and Querying Software Structures</U></A>, ICSE '92, Proceedings of the 14th international conference on Software engineering.</div> <div> Curtis, Bill & Kellner, Marc I. & Over, Jim (1992). <A HREF="curtis__kellner___over__1992__process_modeling.htm" TARGET="_top" TITLE="Process Modeling"><U>Process Modeling</U></A>, Communications of the ACM, Vol. 35, No. 9, September 1992.</div> <div> Dahlbom, Bo & Mathiassen, Lars (1993). <A HREF="dahlbom___mathiassen__1995__computers_in_context.htm" TARGET="_top" TITLE="Computers in Context: The Philosophy and"><U>Computers in Context: The Philosophy and Practice of Systems Design</U></A>, NCC Blackwell.</div> <div> Date, C. J. & Darwen, Hugh (1997). <A HREF="date___darwen__1997__a_guide_to_the_sql_standard.htm" TARGET="_top" TITLE="A Guide to the SQL Standard"><U>A Guide to the SQL Standard</U></A>, Addison-Wesley Longman.</div> <div> Davis, Margaret J. & Williams, Roger B. (1997). <A HREF="davis___williams__1997__software_architecture_characterization.htm" TARGET="_top" TITLE="Software Architecture Characterization"><U>Software Architecture Characterization</U></A>, ACM SIGSOFT Software Engineering Notes, Vol. 22, No. 3, May 1997 & SSR '97, Proceedings of the 1997 Symposium on Software Reusability</div> <div> DeMarco, Tom & Lister, Timothy (1990). Software State-of-the-Art, Dorset House Publishing.</div> <div> Ellis, Keith & Gregory, Amanda & Mears-Young, Bridget R. & Ragsdell, Gillian (1995). <A HREF="ellis__gregory__mears_young___ragsdell__1995__critical_issues_in_systems_theory_.htm" TARGET="_top" TITLE="Critical Issues in Systems Theory and Pr"><U>Critical Issues in Systems Theory and Practice</U></A>, Plenum Press.</div> <div> Feijs, Loe & De Jong, Roel (1998). <A HREF="feijls___de_jong__1998__3d_visualization_of_software_architectures.htm" TARGET="_top" TITLE="3D Visualization of Software Architectur"><U>3D Visualization of Software Architectures</U></A>, Communications of the ACM, Vol. 41, No. 12, December 1998.</div> <div> Feyerabend, Paul (1995, 1988, 1975). <A HREF="feyerabend__1975__1988__1993__against_method.htm" TARGET="_top" TITLE="Against Method"><U>Against Method</U></A>, Verso.</div> <div> Finkel, Raphael A. (1996). <A HREF="finkel__1995__advanced_programming_language_design.htm" TARGET="_top" TITLE="Advanced Programming Language Design"><U>Advanced Programming Language Design</U></A>, Addison-Wesley Publishing Company.</div> <div> Fjällström, Per-Olof (1998). <A HREF="fjällström__1998__algorithms_for_graph_partitioning__a_survey.htm" TARGET="_top" TITLE="Algorithms for Graph Partitioning: A Sur"><U>Algorithms for Graph Partitioning: A Survey</U></A>, Linköping Electronic Articles in Computer and Information Science, Vol. 3, nr 10, 1998, Linköping University Electronic Press.</div> <div> Flood, Robert L. & Jackson, Michael C. (1991). <A HREF="flood___jackson__1992__critical_systems_thinking.htm" TARGET="_top" TITLE="Critical Systems Thinking"><U>Critical Systems Thinking</U></A>, John Wiley & Sons.</div> <div> Fowler, Martin (1997). <A HREF="fowler__1997__analysis_patterns.htm" TARGET="_top" TITLE="Analysis Patterns: Reusable Object Model"><U>Analysis Patterns: Reusable Object Models</U></A>, Addison Wesley Longman.</div> <div> France, Robert B. (1992). <A HREF="france__1992__semantically_extended_data_flow_diagrams__a_formal_specification_t.htm" TARGET="_top" TITLE="Semantically Extended Data Flow Diagrams"><U>Semantically Extended Data Flow Diagrams: A Formal Specification Tool</U></A>, IEEE Transactions on Software Engineering, Vol. 18, No. 4, April 1992.</div> <div> Fraser, Martin D. & Kumar, Kuldeep & Vaishnavi, Vijay K. (1991). <A HREF="fraser__kumar___vaishnavi__1991__informal_and_formal_requirements_specification_.htm" TARGET="_top" TITLE="Informal and Formal Requirements Specifi"><U>Informal and Formal Requirements Specification Languages: Bridging the Gap</U></A>, IEEE Transactions on Software Engineering, Vol. 17, No. 5, May 1991.</div> <div> Gal, Shaf (1996). <A HREF="gal__1996__footholds_for_design.htm" TARGET="_top" TITLE="Footholds for Design"><U>Footholds for Design</U></A>, i Winograd (1996).</div> <div> Gamma, Erich & Heml, Richard & Johnson, Ralph & Vlissides, John (1995). <A HREF="gamma__helm__johnson___vlissides__1994__design_patterns.htm" TARGET="_top" TITLE="Design Patterns: Elements of Reusable Ob"><U>Design Patterns: Elements of Reusable Object-Oriented Software</U></A>, Addison Wesley Longman.</div> <div> Gelernter, David & Carriero, Nicholas (1992). <A HREF="gelernter___carriero__1992__coordination_languages_and_their_significance.htm" TARGET="_top" TITLE="Coordination Languages and their Signifi"><U>Coordination Languages and their Significance</U></A>, Communications of the ACM, Vol. 35, No. 2, February 1992.</div> <div> Goldman, Kenneth J. & Anderson, Michael D. & Swaminathan, Bala (1994). <A HREF="goldman__anderson___swaminathan__1994__the_programmers__playground.htm" TARGET="_top" TITLE="The Programmers Playground"><U>The Programmers' Playground: I/O Abstraction for Heterogeneous Distributed Systems</U></A>, IEEE Transactions on Software Engineering, Vol. 21 No. 9, September 1995.</div> <div> Harel, David (1998). <A HREF="harel__1998__on_visual_formalisms.htm" TARGET="_top" TITLE="On Visual Formalisms"><U>On Visual Formalisms</U></A>, Communications of the ACM, Vol. 31, No. 5, May 1998.</div> <div> Heimdahl, Mats P.E. & Leveson, Nancy G. (1995). <A HREF="heimdahl___leveson__1995__completeness_and_consistency_analysis_of_state_based_r.htm" TARGET="_top" TITLE="Completeness and Consistency Analysis of"><U>Completeness and Consistency Analysis of State-Based Requirements</U></A>, ICSE '95. Proceedings of the 17th International Conference on Software engineering.</div> <div> Heitmeyer, Constance L. & Jeffords, Ralph D. & Labaw, Bruce G. (1996). <A HREF="heitmeyer__jeffords___labaw__1996__automated_consistency_checking_of_requirement.htm" TARGET="_top" TITLE="Automated Consistency Checking of Requir"><U>Automated Consistency Checking of Requirements Specifications</U></A>, ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996</div> <div> Howes, Timothy A. & Smith, Mark C. & Good, Gordon S. (1999). <A HREF="howes__smith___good__1999__understanding_and_deploying_ldap_directory_services.htm" TARGET="_top" TITLE="Understanding and Deploying LDAP Directo"><U>Understanding and Deploying LDAP Directory Services</U></A>, Macmillan Technical Publishing.</div> <div> Jackson, Michael (1983). <A HREF="jackson__1983__system_development.htm" TARGET="_top" TITLE="System Development"><U>System Development</U></A>, Prentice-Hall International.</div> <div> Jackson, Michael (1995). <A HREF="jackson__1995__software_requirements___specifications.htm" TARGET="_top" TITLE="Software Requirements Specifications"><U>Software Requirements & Specifications</U></A>, ACM Press.</div> <div> Jarke, Matthias (1998). <A HREF="jarke__1998__requirements_tracing.htm" TARGET="_top" TITLE="Requirements Tracing"><U>Requirements Tracing</U></A>, Communications of the ACM, Vol. 41, No. 12, December 1998</div> <div> Jensen, Kurt (1997). <A HREF="jensen__1997__a_brief_introduction_to_coloured_petri_nets.htm" TARGET="_top" TITLE="A Brief Introduction to Coloured Petri N"><U>A Brief Introduction to Coloured Petri Nets</U></A>, i Brinksma (1997).</div> <div> Jensen, Kurt (1996). <A HREF="jensen__1996__an_introduction_to_the_practical_use_of_coloured_petri_nets.htm" TARGET="_top" TITLE="An Introduction to the Practical Use of "><U>An Introduction to the Practical Use of Coloured Petri Nets</U></A>, i Reisig & Rozenberg (1996).</div> <div> Jensen, Kurt (1994). <A HREF="jensen__1994__an_introduction_to_the_theoretical_aspects_of_coloured_petri_nets.htm" TARGET="_top" TITLE="An Introduction to the Theoretical Aspec"><U>An Introduction to the Theoretical Aspects of Coloured Petri Nets</U></A>,  i Bakker & Roever & Rozenberg (1994).</div> <div> Kapur, Deepak (1994). <A HREF="kapur__1994__an_automated_tool_for_analyzing_completeness_of_equational_specific.htm" TARGET="_top" TITLE="An Automated Tool for Analyzing Complete"><U>An Automated Tool for Analyzing Completeness of Equational Specifications</U></A>, ISSTA '94. Proceedings of the 1994 International Symposium on Software Testing and Analysis.</div> <div> Kim, Won & Lochovsky, Frederick H. (1989). <A HREF="kim___lochovsky__1989__object_oriented_concepts__databases__and_applications.htm" TARGET="_top" TITLE="ObjectOriented Concepts, Databases, and "><U>Object-Oriented Concepts, Databases, and Applications</U></A>, ACM Press.</div> <div> Kleyn, M. F. & Browne, J. C. (1993). <A HREF="kleyn___browne__1993__a_high_level_language_for_specifying_graph_based_languages.htm" TARGET="_top" TITLE="A High Level Language for Specifying Gra"><U>A High Level Language for Specifying Graph Based Languages and their Programming Environments</U></A>, ICSE '93, Proceedings of the 15th international conference on Software Engineering.</div> <div> Klir, George J. (1991). <A HREF="klir__1991__facets_of_systems_science.htm" TARGET="_top" TITLE="Facets of Systems Science"><U>Facets of Systems Science</U></A>, Plenum Press.</div> <div> Knuth, D. E. (1973). <A HREF="knuth__1973__the_art_of_computer_programming__vol__1___fundamental_algorithms.htm" TARGET="_top" TITLE="The Art of Computer Programming, Vol. 1:"><U>The Art of Computer Programming, Vol. 1:  Fundamental Algorithms</U></A>, Addison-Wesley.</div> <div> Kuhn, Sarah (1996). <A HREF="kuhn__1996__design_for_people_at_work.htm" TARGET="_top" TITLE="Design for People at Work"><U>Design for People at Work</U></A>, i Winograd (1996).</div> <div> Kummer, Stephan D. & Schlange, Lutz E. (1997). <A HREF="kummer___schlange__1997__strengthening_the_bridge_between_qualitative_and_quanti.htm" TARGET="_top" TITLE="Strengthening the Bridge between Qualita"><U>Strengthening the Bridge between Qualitative and Quantitative Modeling</U></A>, 15th International System Dynamics Conference.</div> <div> Lanergan, Robert G. & Grasso, Charles A. (1984). <A HREF="lanergan___grasso__1984__software_engineering_with_reusable_designs_and_code.htm" TARGET="_top" TITLE="Software Engineering with Reusable Desig"><U>Software Engineering with Reusable Design and Code</U></A>, IEEE Transactions on Software Engineering, Vol SE-10, No. 5, September 1984 & i DeMarco & Lister (1990).</div> <div> Larsen, Peter Gorm & Katwijk, Jan van & Plat, Nico & Pronk, Kees & Toetenel, Hans (1991). <A HREF="larsen__katwijk__plat__pronk___toetenel__1992__svdm__an_integrated_combination_o.htm" TARGET="_top" TITLE="SVDM: An integrated combination of SA an"><U>SVDM: An Integrated Combination of SA and VDM</U></A>, Methods Integration Conference, Leeds, September 1991.</div> <div> Larsen, Peter Gorm & Plat, Nico & Toetenel, Hans (1993). <A HREF="larsen__plat___toetenel__1993__a_formal_semantics_of_data_flow_diagrams.htm" TARGET="_top" TITLE="A Formal Semantics of Data Flow Diagrams"><U>A Formal Semantics of Data Flow Diagrams</U></A>, Formal Aspects of Computing, 3, 1993.</div> <div> Ledbetter, Lamar & Cox, Brad (1985). <A HREF="ledbetter___cox__1985__software_ics.htm" TARGET="_top" TITLE="SoftwareICs: A Plan for Building Reusabl"><U>Software-ICs: A Plan for Building Reusable Software Components</U></A>, Byte, Vol. 10, No. 6, June 1985 & i DeMarco & Lister (1990).</div> <div> Lemesle, Richard (1998). <A HREF="lemesle__1998__meta_modeling_and_modularity.htm" TARGET="_top" TITLE="Metamodeling and Modularity"><U>Meta-modeling and Modularity</U></A>, OOPSLA'98 Workshop #25.</div> <div> Lung, Chung-Horng (1998). <A HREF="lung__1998__software_architecture_recovery_and_restructuring_through_clustering_.htm" TARGET="_top" TITLE="Software Architecture Recovery and Restr"><U>Software Architecture Recovery and Restructuring through Clustering Techniques</U></A>, ISAW '98, Proceedings of the third international workshop on Software architecture.</div> <div> McCartney, T. Paul (1996). <A HREF="mccartney__1996__end_user_construction_and_configuration_of_distributed_multimed.htm" TARGET="_top" TITLE="EndUser Construction and Configuration o"><U>End-User Construction and Configuration of Distributed Multimedia Applications</U></A>, D. Sc. Thesis, Washington University.</div> <div> McHugh, James A. (1990). <A HREF="mchugh__1990__algorithmic_graph_theory.htm" TARGET="_top" TITLE="Algorithmic Graph Theory"><U>Algorithmic Graph Theory</U></A>, Prentice Hall.</div> <div> Medvidovic, Nenad & Taylor, Richard N. (1998). <A HREF="medvidovic___taylor__1998__separating_fact_from_fiction_in_software_architecture.htm" TARGET="_top" TITLE="Separating Fact from Fiction in Software"><U>Separating Fact from Fiction in Software Architecture</U></A>, ISAW '98, Proceedings of the third international workshop on Software architecture.</div> <div> Métayer, Daniel Le (1996). <A HREF="métayer__1996__software_architecture_styles_as_graph_grammars.htm" TARGET="_top" TITLE="Software Architecture Styles as Graph Gr"><U>Software Architecture Styles as Graph Grammars</U></A>, ACM SIGSOFT Software Engineering Notes, Vol. 21, No. 6, Nov. 1996 & SIGSOFT '96, Proceedings of the fourth ACM SIGSOFT symposium on Foundations of software engineering.</div> <div> Mintzberg, Henry (1983). <A HREF="mintzberg__1983__structure_in_fives.htm" TARGET="_top" TITLE="Structure in Fives: Designing Effective "><U>Structure in Fives: Designing Effective Organizations</U></A>, Prentice-Hall.</div> <div> Morrison, J. Paul (1994). <A HREF="morrison__1994__flow_based_programming.htm" TARGET="_top" TITLE="FlowBased Programming"><U>Flow-Based Programming</U></A>, Van Nostrand Reinhold.</div> <div> Motorola Inc. (1986). <A HREF="motorola__1986__m68000_8__16__32_bit_microprocessors_reference_manual.htm" TARGET="_top" TITLE="M68000 8/16/32Bit Microprocessors Refere"><U>M68000 8-/16-/32-Bit Microprocessors Reference Manual</U></A>, Motorola Inc.</div> <div> Mylopoulos, John & Chung, Lawrence & Yu, Eric (1999). <A HREF="mylopoulos__chung___yu__1999__from_object_oriented_to_goal_oriented_requirements.htm" TARGET="_top" TITLE="From ObjectOriented to GoalOriented Requ"><U>From Object-Oriented to Goal-Oriented Requirements Analysis</U></A>, Communications of the ACM, Vol. 42, No. 1, January 1999</div> <div> Norman, Donald (1996). <A HREF="norman__1996__design_as_practiced.htm" TARGET="_top" TITLE="Design as Practiced"><U>Design as Practiced</U></A>, i Winograd (1996).</div> <div> Oberweis, Andreas & Sander, Peter (1996). <A HREF="oberweis___sander__1996__information_system_behavior_specification_by_high_level.htm" TARGET="_top" TITLE="Information System Behavior Specificatio"><U>Information System Behavior Specification by High-Level Petri Nets</U></A>, ACM Transactions on Information Systems, Vol. 14, No. 4, October 1996.</div> <div> OMG/Component Scripting (1998). <A HREF="object_management_group__1998__corba_component_scripting___revised_joint_submiss.htm" TARGET="_top" TITLE="CORBA Component Scripting Revised Joint"><U>CORBA Component Scripting</U></A>, Revised Joint Submission, July 6th, 1998, Object Management Group.</div> <div> OMG/CORBA (1998). <A HREF="object_management_group__1997_1998__corba.htm" TARGET="_top" TITLE="CORBA"><U>The Common Object Request Broker: Architecture and Specification</U></A>, Object Management Group.</div> <div> OMG/CORBA (1995). <A HREF="object_management_group__1997_1998__corba.htm" TARGET="_top" TITLE="CORBA"><U>CORBAfacilities: Common Facilities Architecture</U></A>, Object Management Group.</div> <div> OMG/CORBA (1997). <A HREF="object_management_group__1997_1998__corba.htm" TARGET="_top" TITLE="CORBA"><U>CORBAservices: Common Object Services Specification</U></A>, Object Management Group.</div> <div> OMG/MOF (1997). <A HREF="object_management_group__1997__meta_object_facility.htm" TARGET="_top" TITLE="Meta Object Facility"><U>Meta Object Facility (MOF) Specification</U></A>, Joint Revised Submission, September 1, 1997, Object Management Group.</div> <div> OMG/UML (1997). <A HREF="object_managerment_group__1997__unified_modelling_language.htm" TARGET="_top" TITLE="Unified Modelling Language"><U>Unified Modelling Language</U></A>, version 1.1, 1. September, 1997, Object Management Group.</div> <div> Parnas, David Lorge & Clements, Paul C. (1986). <A HREF="parnas___clements__1986__a_rational_design_process__how_and_why_to_fake_it.htm" TARGET="_top" TITLE="A Rational Design Process: How and Why t"><U>A Rational Design Process: How and Why to Fake It</U></A>, IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, February 1986 & i DeMarco & Lister (1990).</div> <div> Plat, Nico & Larsen, Peter Gorm & Toetenel, Hans (1993). <A HREF="plat__larsen___toetenel__1993__formal_transformations__using_sa_and_vdm_as_diffe.htm" TARGET="_top" TITLE="Formal Transformations: Using SA and VDM"><U>Formal Transformations: Using SA and VDM as Different Views in Software Development</U></A>, Technical paper, The Institute of Applied Science (IFAD) & Delft University of Technology.</div> <div> Reisig, Wolfgang & Rozenberg, Grzegorz (1998): Lectures on Petri Nets II: Applications, Advances in Petri Nets, Lecture Notes in Computer Science, Springer-Verlag. </div> <div> Rheinfrank, John & Evenson, Shelley (1996). <A HREF="id128.htm" TARGET="_top" TITLE="Design Languages"><U>Design Languages</U></A>, i Winograd (1996).</div> <div> Roman, Gruia-Catalin & Cox, Kenneth C. (1992). <A HREF="roman___cox__1992__program_visualization__the_art_of_mapping_programs_to_picture.htm" TARGET="_top" TITLE="Program Visualization: the Art of Mappin"><U>Program Visualization: the Art of Mapping Programs to Pictures</U></A>, ICSE '92. Proceedings of the 14th International Conference on Software Engineering.</div> <div> Royce (1970). <A HREF="royce__1970__managing_the_development_of_large_software_systems.htm" TARGET="_top" TITLE="Managing the development of large softwa"><U>Managing the Development of Large Software Systems</U></A>, Proceedings of the IEEE WESCON, IEEE Press & Proceedings of the Ninth International Conference on Software Engineering, IEEE Press.</div> <div> Rozenberg, G (1997). <A HREF="rozenberg__1997__handbook_of_graph_grammars_and_computing_by_graph_transformatio.htm" TARGET="_top" TITLE="Handbook of Graph Grammars and Computing"><U>Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, Vol. 1</U></A>, World Scientific Publishing Company.</div> <div> Saffo, Paul (1996). <A HREF="saffo__1996__the_consumer_spectrum.htm" TARGET="_top" TITLE="The Consumer Spectrum"><U>The Consumer Spectrum</U></A>, i Winograd (1996).</div> <div> Schön, Donald & Bennett, John (1996). <A HREF="schön___bennett__1996__reflective_conversation_with_materials.htm" TARGET="_top" TITLE="Reflective Conversation with Materials"><U>Reflective Conversation with Materials</U></A>, i Winograd (1996).</div> <div> Sommerville, Ian (1992). <A HREF="sommerville__1992__software_engineering.htm" TARGET="_top" TITLE="Software Engineering"><U>Software Engineering</U></A>, Addison-Wesley Publishing Company.</div> <div> Stowell, Frank (1995). <A HREF="stowell__1995__does__information_systems__need_systems_.htm" TARGET="_top" TITLE="Does Information Systems Need Systems?"><U>Does 'Information Systems' Need Systems?</U></A>, i Ellis, Gregory, Mears-Young & Ragsdell (1995).</div> <div> Tanenbaum, Andrew S. (1992). <A HREF="tanenbaum__1992__modern_operating_systems.htm" TARGET="_top" TITLE="Modern Operating Systems"><U>Modern Operating Systems</U></A>, Prentice-Hall.</div> <div> Tanenbaum, Andrew S. (1987). <A HREF="tanenbaum__1987__operating_systems.htm" TARGET="_top" TITLE="Operating Systems"><U>Operating Systems</U></A>, Prentice-Hall.</div> <div> Tanenbaum, Andrew S. (1990, 1984, 1976). <A HREF="tanenbaum__1990__structured_computer_organization.htm" TARGET="_top" TITLE="Structured Computer Organization"><U>Structured Computer Organization</U></A>, Prentice-Hall.</div> <div> Wasserman, Stanley & Faust, Katherine (1994). <A HREF="wasserman___faust__1994__social_network_analysis__methods_and_applications.htm" TARGET="_top" TITLE="Social Network Analysis: Methods and App"><U>Social Network Analysis: Methods and Applications</U></A>, Cambridge University Press.</div> <div> Weinberg, Gerald M. (1988). <A HREF="weinberg__1988__general_principles_of_systems_design.htm" TARGET="_top" TITLE="General Principles of Systems Design"><U>General Principles of Systems Design</U></A>, Dorset House Publishing.</div> <div> Weinberg, Gerald M. (1975). <A HREF="weinberg__1975__introduction_to_general_systems_thinking__an.htm" TARGET="_top" TITLE="Introduction to General Systems Thinking"><U>An Introduction to General Systems Thinking</U></A>, John Wiley & Sons.</div> <div> Weinberg, Gerald M. (1988). <A HREF="weinberg__1988__rethinking_systems_analysis___design.htm" TARGET="_top" TITLE="Rethinking Systems Analysis Design"><U>Rethinking Systems Analysis & Design</U></A>, Dorset House Publishing.</div> <div> Wilson, Brian (1990, 1984). <A HREF="wilson__1990__systems__concepts__methodologies_and_applications.htm" TARGET="_top" TITLE="Systems: Concepts, Methodologies and App"><U>Systems: Concepts, Methodologies and Applications</U></A>, John Wiley & Sons.</div> <div> Winograd, Terry (1996). Bringing Design to Software, ACM Press.</div> <div> Wirth, N. (1976). <A HREF="wirth__1976__algorithms___data_structures___programs.htm" TARGET="_top" TITLE="Algorithms Data Structures Programs"><U>Algorithms & Data Structures = Programs</U></A>, Prentice-Hall.</div> <div> Yourdon, Edward (1989). <A HREF="yourdon__1989__modern_structured_analysis.htm" TARGET="_top" TITLE="Modern Structured Analysis"><U>Modern Structured Analysis</U></A>, Prentice-Hall.</div> <div> Zave, Pamela & Jackson, Michael (1997). <A HREF="zave___jackson__1997__four_dark_corners_of_requirements_engineering.htm" TARGET="_top" TITLE="Four Dark Corners of Requirements Engine"><U>Four Dark Corners of Requirements Engineering</U></A>, ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 1, January 1997.</div> <div> Zeigler, Bernard P. (1976). <A HREF="zeigler__1976__theory_of_modelling_and_simulation.htm" TARGET="_top" TITLE="Theory of Modelling and Simulation"><U>Theory of Modelling and Simulation</U></A>, John Wiley & Sons.</div> <div> Zeigler, Bernard P. & Vahie, Sankait (1993). <A HREF="zeigler___vahie__1993__devs_formalism_and_methodology.htm" TARGET="_top" TITLE="DEVS Formalism and Methodology"><U>DEVS Formalism and Methodology</U></A>, Proceedings of the 1993 Winter Simulation Conference.</div> <div> Züllighoven, Heinz (1998). <A HREF="züllighoven__1998__the_tools___materials_approach.htm" TARGET="_top" TITLE="The Tools Materials Approach"><U>The Tools & Materials Approach for Large Scale OO Software Development</U></A>, JAOO '98 Conference, Copenhagen.</div> <bR> </td> </tr></table></body>