Parallel programming with PICSIL1

This paper describes the background and development of PICSIL1 a visual language for specifying parallel algorithms using structured decomposition. PICSIL1 draws upon graphical and textual specification techniques; the first for high level structure of an algorithm, the second for more detailed functional specifications. The graphical specification techniques used in PICSIL1 are based on Data Flow Diagrams (DFDs) and are well suited to the assembly and interconnection of abstract modules. Minor modifications to DFDs have however had to be made to make them suitable for describing parallel algorithms. These include the ability to dynamically replicate sections of a diagram and change the structure of parts of a diagram dependent on data being processed. Work is proceeding on the development of an editor to allow the direct capture and editing of PICSIL1 descriptions. In the near future development of compiler and visual debugging tools are planned

Mobile cinema

Thesis (Ph. D.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2004.Includes bibliographical references (p. [157]-161).This thesis develops techniques and methods that extend the art and craft of storytelling, and in particular enable the creation of mobile cinema. Stories are always constrained by the medium in which they are told and the mode by which they are delivered to an audience. This dissertation addresses the design of content, systems, and tools that facilitate the emerging type of computational audio-visual narrative that we call mobile cinema. Storytelling in this medium requires temporally and spatially encoded narrative segments that are delivered over a wireless channel to mobile devices such as PDAs and mobile phones. These devices belong to "the audience," individuals who are navigating physical space and interact with local circumstances in the environment. This thesis examines the underlying requirements for coherent mobile narrative and explores two particular challenges which must be solved in order to make a reliable and scalable stream of content for mobile cinema: technology uncertainty (the fact that what the mobile cinema system presents may not be what the creator intends) and participation uncertainty (the fact that what the audience does may not be what the creator expects). The exploration and analysis of these problems involved prototyping two versions of the M-Views system for mobile cinema and three prototype cinematic narratives. Small user studies accompanied each production. The iterative process enabled the author to explore both aspects of uncertainty and to introduce innovations in four key areas to help address these uncertainties: practical location detection, authoring tools designed for mobile channels, responsive story presentation mechanisms, and creative story production strategies.y Pengkai Pan.Ph.D

A Development Method for the Conceptual Design of Multi-View Modeling Tools with an Emphasis on Consistency Requirements

The main objective of this thesis is to bridge the gap between modeling method experts on the one side and tool developers on the other. More precisely, the focus is on the specification of requirements for multi-view modeling tools. In this regard, the thesis introduces a methodological approach that supports the specification of conceptual designs for multi-view modeling tools in a stepwise manner: the MuVieMoT approach. MuVieMoT utilizes generic multi-view modeling concepts and the model-driven engineering paradigm to establish an overarching specification of multi-view modeling tools with an emphasis on consistency requirements. The approach builds on and extends the theoretical foundation of metamodeling and multi-view modeling: generic multi-view modeling concepts, integrated multi-view modeling approaches, and possibilities for formalized modeling method specifications. Applicability and utility of MuVieMoT are evaluated using an illustrative scenario, therefore specifying a conceptual design for a multi-view modeling tool for the Semantic Object Model enterprise modeling method. The thesis moreover introduces the MuVieMoT modeling environment, enabling the efficient application of the approach as well as the model-driven development of initial multi-view modeling tools based on the conceptual models created with MuVieMoT. Consequently, the approach fosters an intersubjective and unambiguous understanding of the tool requirements between method experts and tool developers

Advances in Public Transport Platform for the Development of Sustainability Cities

Modern societies demand high and varied mobility, which in turn requires a complex transport system adapted to social needs that guarantees the movement of people and goods in an economically efficient and safe way, but all are subject to a new environmental rationality and the new logic of the paradigm of sustainability. From this perspective, an efficient and flexible transport system that provides intelligent and sustainable mobility patterns is essential to our economy and our quality of life. The current transport system poses growing and significant challenges for the environment, human health, and sustainability, while current mobility schemes have focused much more on the private vehicle that has conditioned both the lifestyles of citizens and cities, as well as urban and territorial sustainability. Transport has a very considerable weight in the framework of sustainable development due to environmental pressures, associated social and economic effects, and interrelations with other sectors. The continuous growth that this sector has experienced over the last few years and its foreseeable increase, even considering the change in trends due to the current situation of generalized crisis, make the challenge of sustainable transport a strategic priority at local, national, European, and global levels. This Special Issue will pay attention to all those research approaches focused on the relationship between evolution in the area of transport with a high incidence in the environment from the perspective of efficiency

Constructing multi-view editing environments using MViews

© 1993 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

The end of stigma? Understanding the dynamics of legitimisation in the context of TV series consumption

This research contributes to prior work on stigmatisation by looking at stigmatisation and legitimisation as social processes in the context of TV series consumption. Using in-depth interviews, we show that the dynamics of legitimisation are complex and accompanied by the reproduction of existing stigmas and creation of new stigmas

The MViews framework for constructing multi-view editing environments

MViews attempts to abstract out the common features of multi-view editing environments that support integrated textual and graphical programming with consistency management. It provides a conceptual model and reusable object-oriented framework for constructing interactive programming environments that provide multiple textual and graphical views. It supports multiple views of a base document, maintaining consistency between each of the views using an update record mechanism. MViews has been used to construct a visual programming environment for an object-oriented language featuring both graphical and textual views of the program. Other applications of MViews under development include entity-relationship and dataflow diagrammers, a visual debugger and a dialog box painter. 1. Introduction Diagrams are useful in all phases of the software lifecycle to help explain and understand concepts that are difficult to describe in text (Davis, 1988). In objectoriented programming, for example, di..

Using multiple representations within a viewpoint

There are many different types of information to be considered when designing an information system, and a wide variety of modelling approaches and notations (or representations) have been developed to describe these different types of information. Some types of information are better expressed by some representations than others, so it is sensible to use multiple representations to describe a real-world phenomenon. Reconciling and integrating descriptions expressed using different representations is therefore an important part of the design process. The objective of this research is to aid this reconciliation and integration within the context of information systems design. That is, to facilitate the use of multiple modelling representations for describing a phenomenon. To achieve this objective, the author has chosen an approach based upon translating descriptions of a phenomenon between different representations. This thesis provides several important contributions in the area of information system design using multiple representations. Related work in the area is reviewed, and from this review is derived a terminology based on viewpoint-oriented methods that provides a consistent framework for the discussion of multiple representations. Previous research into the use of multiple representations has focused on semantic data models. This is extended in this thesis to include diverse modelling representations such as functional dependencies and data flow modelling. The process of translating between different representations is explored in depth, and several important issues identified. Translations are defined by a collection of rules that specify the mappings between constructs of representations. An abstract notation is developed for expressing these translations, and an extended version of Amor’s (1997) View Mapping Language is defined for the purpose of building detailed rule specifications. Heuristics and enrichment are proposed as two methods of improving the quality of translations. A measure for determining the relative quality of translations is developed to show that heuristics do indeed enhance translation quality. In addition, a method is developed for using translations to highlight potential design inconsistencies by translating descriptions expressed using different representations into the same form and comparing them.UnpublishedAbiteboul, S. and Hull, R. (1987). IFO: A formal semantic database model, ACM Transactions on Database Systems 12(4): 525–565. Altmann, R., Hawke, A. and Marlin, C. (1988). An integrated programming environment based on multiple concurrent views, Australian Journal of Computing 20(2): 65–72. Amor, R. W. (1997). A Generalised Framework for the Design and Construction of Integrated Design Systems, PhD thesis, Department of Computer Science, University of Auckland, Auckland, New Zealand. URL: ftp://helios.bre.co.uk/pub/ra_phd/ Amor, R. W. (1998). Personal communication. Amor, R. W., Augenbroe, G., Hosking, J., Rombouts, W. and Grundy, J. (1995). Directions in modelling environments, Automation in Construction 4: 173–187. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/a_in_c95.ps.gz Armstrong, W. (1974). Dependency structures of data base relationships, in J. L. Rosenfeld (ed.), IFIP Congress ’74 (Information Processing ’74), North-Holland, Stockholm, Sweden, pp. 580–583. Atzeni, P. and Torlone, R. (1993). A metamodel approach for the management of multiple models and the translation of schemes, Information Systems 18(6): 349–362. Atzeni, P. and Torlone, R. (1995). Schema translation between heterogeneous data models in a lattice framework, in R. Meersman and L. Mark (eds), Database Applications Semantics, Sixth IFIP TC-2 Working Conference on Data Semantics (DS-6), IFIP, Chapman & Hall, London, Stone Mountain, Atlanta, Georgia, USA, pp. 345–361. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/ifip.ps.gz Atzeni, P. and Torlone, R. (1996a). Management of multiple models in an extensible database design tool, in P. Apers, M. Bouzeghoub and G. Gardarin (eds), Fifth International Conference on Extending Database Technology (EDBT’96), Vol. 1057 of Lecture Notes in Computer Science, Springer-Verlag, Avignon, France, pp. 79–95. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/edbt96.ps.gz Atzeni, P. and Torlone, R. (1996c). MDM: A multiple-data-model tool for the management of heterogeneous database schemes, part I, Handout material for the TMR Seminar on Metamodeling, Paris, France. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/parigi1.ps.gz Atzeni, P. and Torlone, R. (1996b). MDM: A multiple-data-model tool for the management of heterogeneous database schemes, part II, Handout material for the TMR Seminar on Metamodeling, Paris, France. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/parigi2.ps.gz Atzeni, P. and Torlone, R. (1997). MDM: A multiple-data-model tool for the management of heterogeneous database schemes, in J. M. Peckman (ed.), SIGMOD 1997 International Conference on the Management of Data, ACM, ACM Press, Tucson, Arizona, pp. 528–531. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/sigmodPreprint.ps.gz Batini, C., Ceri, S. and Navathe, S. B. (1992). Conceptual Database Design: An Entity-Relationship Approach, Benjamin/Cummings, Redwood City, California. Batini, C., Furlani, L. and Nardelli, E. (1985). What is a good diagram? A pragmatic approach, in P. P. Chen (ed.), Fourth International Conference on the Entity-Relationship Approach, IEEE Computer Society Press/North Holland, Chicago, Illinois, pp. 312–319. Batini, C. and Lenzerini, M. (1984). A methodology for data schema integration in the entity relationship model, IEEE Transactions on Software Engineering SE-10(6): 650–663. Batini, C., Lenzerini, M. and Navathe, S. (1986). A comparative analysis of methodologies for database schema integration, ACM Computing Surveys 18(4): 323–364. Batra, D. and Antony, S. R. (1994). Effects of data model and task characteristics on designer performance: A laboratory study, International Journal of Human-Computer Studies 41: 481–508. Batra, D. and Srinivasan, A. (1992). A review and analysis of the usability of data management environments, International Journal of Man-Machine Studies 36: 395–417. Beeri, C., Fagin, R. and Howard, J. H. (1977). A complete axiomatization for functional and multivalued dependencies in database relations, in D. C. Smith (ed.), 1977 ACM SIGMOD International Conference on Management of Data, ACM, New York, Toronto, Canada, pp. 47–61. Borowski, E. and Borwein, J. (1989). Dictionary of Mathematics, Collins, Glasgow. Brien, S. M. and Nicholls, J. E. (1992). Z base standard, Technical Monograph PRG-107, Oxford University Computing Laboratory, Oxford, UK. URL: ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zstandard1.0.ps.Z; ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zstandard-annex1.0.ps.Z Brooks, F. P. (1975). The Mythical Man-Month: Essays on Software Engineering, Addison-Wesley, Reading, Massachusetts. Brown, M. H. (1992). Zeus: A system for algorithm animation and multi-view editing, Research Report 75, Digital Equipment Corporation, Systems Research Center, Palo Alto, California. URL: ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-075.pdf Campbell, D. (1992). Entity-relationship modeling: One style suits all?, DATABASE 23(3): 12–18. Cattell, R. (1991). Object Data Management, Addison-Wesley, Reading, Massachusetts. Cattell, R., Barry, D. K. and Bartels, D. (1997). The Object Database Standard: ODMG 2.0, Morgan Kaufmann Series in Data Management Systems, Morgan Kaufmann, Los Altos, California. CDIF Technical Committee (1994a). CASE Data Interchange Format — Overview, EIA Interim Standard EIA/IS-106, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1994b). CDIF framework for modeling and extensibility, EIA Interim Standard EIA/IS-107, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1994c). CDIF integrated meta-model: Foundation subject area, EIA Interim Standard EIA/IS-111, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1995a). CDIF integrated meta-model: Common subject area, EIA Interim Standard EIA/IS-112, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1995b). CDIF integrated meta-model: Data flow model subject area, EIA Interim Standard EIA/IS-115, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1996a). CDIF integrated meta-model: Data modeling subject area, EIA Interim Standard EIA/IS-114, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1996b). CDIF integrated meta-model: State/event model subject area, CDIF Draft STEV-V8, Electronic Industries Association, Arlington, Virginia. Checkland, P. (1981). Systems Thinking, Systems Practice, John Wiley & Sons, Chichester, England. Chen, P. P.-S. (1976). The entity-relationship model — Toward a unified view of data, ACM Transactions on Database Systems 1(1). Chen, P. P.-S. (1977). The Entity-Relationship Approach to Logical Database Design, number 6 in The Q.E.D. Monograph Series, Q.E.D. Information Sciences, Inc., Wellesley, Massachusetts. Chomsky, N. (1978). Syntactic Structures, Peter Lang Publishing. Cimikowski, R. and Shope, P. (1996). A neural-network algorithm for a graph layout problem, IEEE Transactions on Neural Networks 7(2): 341–345. Clapham, C. (1990). The Concise Oxford Dictionary of Mathematics, Oxford University Press, Oxford, UK. Clark, S. (1992). Transformr: A prototype STEP exchange file migration tool, National PDES Testbed Report Series NISTIR 4944, U.S. Department of Commerce, National Institute of Standards and Technology, Washington, D.C. Codd, E. (1970). A relational model of data for large shared data banks, Communications of the ACM 13(6). Codd, E. (1972a). Further normalization of the data base relational model, in R. Rustin (ed.), Data Base Systems, Courant Computer Science Symposia Series 6, Prentice-Hall, Englewood Cliffs, New Jersey, pp. 33–64. Codd, E. (1972b). Relational completeness of data base sublanguages, in R. Rustin (ed.), Data Base Systems, Courant Computer Science Symposia Series 6, Prentice-Hall, Englewood Cliffs, New Jersey, pp. 65–98. Codd, E. (1979). Extending the database relational model to capture more meaning, ACM Transactions on Database Systems 4(4). Codd, E. (1988a). Fatal flaws in SQL, part one, Datamation (August 15): 45–48. Codd, E. (1988b). Fatal flaws in SQL, part two, Datamation (September 1): 71–74. Codd, E. (1990). The Relational Model for Database Management Version 2, Addison-Wesley, Reading, Massachusetts. Coleman, M. and Parker, D. (1996). Aesthetics-based graph layout for human consumption, Software — Practice and Experience 26(12): 1415–1438. Cooper, R. (1991). Configurable data modelling systems, in H. Kangassalo (ed.), Ninth International Conference on the Entity-Relationship Approach, Elsevier Science Publishing Company, Lausanne, Switzerland, pp. 57–74. Darke, P. and Shanks, G. (1994). Viewpoint developments for requirements definition: An analysis of concepts, issues and approaches, Working Paper 21/94, Department of Information Systems, Monash University, Melbourne, Australia. Darke, P. and Shanks, G. (1995a). Understanding stakeholder viewpoints in requirements definition: A framework for viewpoint development, Working Paper 37/95, Department of Information Systems, Monash University, Melbourne, Australia. Darke, P. and Shanks, G. (1995b). Viewpoint development for requirements definition: Towards a conceptual framework, Sixth Australasian Conference on Information Systems (ACIS’95), Perth, Australia, pp. 277–288. Darke, P. and Shanks, G. (1996). Stakeholder viewpoints in requirements definition: A framework for understanding viewpoint development approaches, Requirements Engineering 1: 88–105. Darke, P. and Shanks, G. (1997a). Managing user viewpoints in requirements definition, Eighth Australasian Conference on Information Systems (ACIS ’97), Adelaide, Australia, pp. 495–508. Darke, P. and Shanks, G. (1997b). User viewpoint modelling: Understanding and representing user viewpoints during requirements definition, Information Systems Journal 7: 213–239. Date, C. (1990a). EXISTS is not “exists”! (some logical flaws in SQL), in C. Date (ed.), Relational Database Writings, 1985–1989, Addison-Wesley, Reading, Massachusetts, chapter 13, pp. 339–356. Date, C. (1990b). What’s wrong with SQL?, in C. Date (ed.), Relational Database Writings, 1985–1989, Addison-Wesley, Reading, Massachusetts, chapter 12, pp. 325–337. Date, C. (1995). An Introduction to Database Systems, sixth edn, Addison-Wesley, Reading, Massachusetts. Date, C. and Darwen, H. (1993). A Guide to the SQL Standard, third edn, Addison-Wesley, Reading, Massachusetts. DiBattista, G., Garg, A., Liotta, G., Tamassia, R., Tassinari, E. and Vargiu, F. (1997). An experimental comparison of four graph drawing algorithms, Computational Geometry — Theory and Applications 7(5–6): 202–325. Diestel, R. (1997). Graph Theory, Graduate Texts in Mathematics, Springer-Verlag, New York. Duke, R., King, P., Rose, G. and Smith, G. (1991). The Object-Z specification language version 1, Technical report TR 91-1, Software Verification Research Centre, University of Queensland, Brisbane, Australia. Easterbrook, S. M. (1991a). Elicitation of Requirements from Multiple Perspectives, PhD thesis, Imperial College of Science Technology and Medicine, University of London, London. URL: http://www.csee.wvu.edu/∼easterbr/papers/1991/thesis.pdf Easterbrook, S. M. (1991b). Handling conflict between domain descriptions with computer supported negotiation, Knowledge Acquisition: An International Journal 3(4): 255–289. URL: ftp://ftp.cogs.susx.ac.uk/pub/reports/csrp/csrp202.ps.Z Easterbrook, S. M., Finkelstein, A. C. W., Kramer, J. and Nuseibeh, B. A. (1994). Coordinating distributed ViewPoints: The anatomy of a consistency check, Journal of Concurrent Engineering: Research and Applications 2(3). URL: ftp://ftp.cogs.susx.ac.uk/pub/reports/csrp/csrp333.ps.Z; ftp://dse.doc.ic.ac.uk/dse-papers/viewpoints/cera.ps.Z; http://www.csee.wvu.edu/∼easterbr/papers/1994/csrp333.pdf Easterbrook, S. M. and Nuseibeh, B. A. (1995). Managing inconsistencies in an evolving specification, Second IEEE International Symposium on Requirements Engineering (RE’95), York, UK, pp. 48–55. URL: ftp://ftp.cogs.susx.ac.uk/pub/reports/csrp/csrp358.ps.Z; ftp://dse.doc.ic.ac.uk/dse-papers/viewpoints/re95.ps.Z; http://www.csee.wvu.edu/∼easterbr/papers/1995/csrp358.pdf Easterbrook, S. M. and Nuseibeh, B. A. (1996). Using ViewPoints for inconsistency management, Software Engineering Journal 11(1): 31–43. URL: http://www.csee.wvu.edu/∼easterbr/papers/1996/NASA-IVV-95-002.pdf; ftp://dse.doc.ic.ac.uk/dse-papers/viewpoints/sej95.ps.gz Eastman, C., Jeng, T.-S., Assal, H., Cho, M. and Chase, S. (1995). EDM-2 Reference Manual, Center for Design and Communication, UCLA, Los Angeles, USA. Elmasri, R. and Navathe, S. B. (1994). Fundamentals of Database Systems, second edn, Benjamin/Cummings, Redwood City, California. Ernst, J. (1997). Introduction to CDIF, Technical report, Electronic Industries Association, CDIF Technical Group. URL: http://www.eigroup.org/cdif/intro.html Evergreen Software Tools (1995a). EasyCASE® Database Engineer™ User’s Guide, v4.2, Evergreen Software Tools, Inc., Redmond, Washington. Evergreen Software Tools (1995b). EasyCASE® Methodology Guide, v4.2, Evergreen Software Tools, Inc., Redmond, Washington. Evergreen Software Tools (1995c). EasyCASE® User’s Guide, v4.2, Evergreen Software Tools, Inc., Redmond, Washington. Finkelstein, A., Goedicke, M., Kramer, J. and Niskier, C. (1989). ViewPoint oriented software development: Methods and viewpoints in requirements engineering, in J. Bergstra and L. Feijs (eds), Second Meteor Workshop on Methods for Formal Specification, Vol. 490 of Lecture Notes in Computer Science, Springer-Verlag, Mierlo, The Netherlands, pp. 29–54. Finkelstein, A. and Sommerville, I. (1996). The viewpoints FAQ, Software Engineering Journal 11(1): 2–4. URL: ftp://cs.ucl.ac.uk/acwf/papers/viewfaq.ps.gz Flanagan, D. (1997). Java in a Nutshell, The Java Series, second edn, O’Reilly, Sebastopol, California. Fosnight, E. and van Roessel, J. (1985). Vector data interfacing at the EROS Data Center; RIM to ARC/INFO and related interfaces, Technical report, EROS Data Center, Sioux Falls, South Dakota. Gallaire, H. and Minker, J. (1978). Logic and Data Bases, Plenum, New York. Gane, C. and Sarson, T. (1979). Structured Systems Analysis: Tools and Techniques, Prentice-Hall Software Series, Prentice-Hall, Englewood Cliffs, New Jersey. Gawkowski, J. A. and Mamrak, S. (1992). Toward a universal framework for data translation, Technical report OSU-CISRC-11/92-TR31, Computer and Information Science Research Center, The Ohio State University, Columbus, Ohio. URL: ftp://ftp.cis.ohio-state.edu/pub/tech-report/1992/TR31.ps.gz Genesereth, M. and Fikes, R. (1992). Knowledge Interchange Format Version 3.0 Reference Manual, Computer Science Department, Stanford University, Stanford, California. Gosling, J. and McGilton, H. (1996). The Java language environment, White paper, Sun Microsystems, Inc., Palo Alto, California. URL: ftp://ftp.javasoft.com/docs/papers/langenviron-pdf.zip Greenspan, S., Mylopoulos, J. and Borgida, A. (1994). On formal requirements modeling languages: RML revisited, in B. Fadini (ed.), Sixteenth International Conference on Software Engineering, IEEE Computer Society Press, Sorrento, Italy, pp. 135–148. Groff, J. R. and Weinberg, P. N. (1994). LAN Times Guide to SQL, Osborne McGraw-Hill, Berkeley, California. Grundy, J. C. (1993). Multiple Textual and Graphical Views for Interactive Software Development Environments, PhD thesis, Department of Computer Science, University of Auckland, Auckland, New Zealand. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/MViews_thesis.ps.gz Grundy, J. C. (1998). Personal communication. Grundy, J. C. and Hosking, J. G. (1993a). Constructing multi-view editing environments using MViews, 1993 IEEE Symposium on Visual Languages, IEEE CS Press, Bergen, Norway, pp. 220–224. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/vl93.ps.gz Grundy, J. C. and Hosking, J. G. (1993b). The MViews framework for constructing multi-view editing environments, New Zealand Journal of Computing 4(2): 31–40. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/nzjc93.ps.gz Grundy, J. C. and Hosking, J. G. (1994). Constructing integrated software development environments with dependency graphs, Working Paper 94/4, Department of Computer Science, University of Waikato, Hamilton, New Zealand. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/MViews.ps.gz Grundy, J. C. and Hosking, J. G. (1995). Software environment support for integrated formal program specification and development, 1995 Asia-Pacific Software Engineering Conference (APSEC’95), IEEE CS Press, Brisbane, Australia, pp. 264–273. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/apsec95.ps.gz Grundy, J. C. and Hosking, J. G. (1996). Keeping free-edited textual and graphical views of information consistent, Working Paper 96/4, Department of Computer Science, University of Waikato, Hamilton, New Zealand. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/inconsistency.ps.gz Grundy, J. C. and Hosking, J. G. (1997). Constructing integrated software development environments with MViews, International Journal of Applied Software Technology 2(3/4): 133–160. Grundy, J. C., Hosking, J. G. and Mugridge, W. B. (1996). Supporting flexible consistency management via discrete change description propagation, Software — Practice and Experience 26(9): 1053–1083. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/spe96.ps.gz Grundy, J. C., Mugridge, W. B. and Hosking, J. G. (1997a). Utilising past event histories in a process-centred software engineering environment, 1997 Australian Software Engineering Conference, IEEE CS Press, Sydney, Australia, pp. 127–136. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/aswec97.ps.gz Grundy, J. C., Mugridge, W. B. and Hosking, J. G. (1997b). A visual, Java-based componentware environment for constructing multi-view editing systems, Second Component Users’ Conference (CUC’97), SIGS Books, Munich. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/cuc97.ps.gz Grundy, J. C. and Venable, J. R. (1994). Providing integrated support for multiple development notations, Working paper 94/17, Department of Computer Science, University of Waikato, Hamilton, New Zealand. Grundy, J. C. and Venable, J. R. (1995a). Developing CASE tools which support integrated development notations, Sixth Workshop on the Next Generation of CASE Tools (NGCT’95), Finland. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/ngct95.ps.gz Grundy, J. C. and Venable, J. R. (1995b). Providing integrated support for multiple development notations, Seventh Conference on Advanced Information Systems Engineering (CAiSE’95), Vol. 932 of Lecture Notes in Computer Science, Springer-Verlag, Finland, pp. 255–268. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/caise95.ps.gz Grundy, J. C. and Venable, J. R. (1996). Towards an integrated environment for method engineering, Method Engineering ’96: IFIP WG 8.1/8.2 Working Conference on Principles of Method Construction and Tool Support, McGraw-Hill, Atlanta. URL: http://w