5,192 research outputs found

    Designing precise and flexible graphical modelling languages for software development

    Get PDF
    Model-driven approaches to software development involve building computerized models of software and the environment in which it is intended to operate. This thesis offers a selection of the author’s work over the last three decades that addresses the design of precise and flexible graphical modelling languages for use in model-driven software development. The primary contributions of this work are: • Syntropy: the first published object-oriented analysis and design (OOAD) method to fully integrate formal and graphical modelling techniques. • The creation of the Object Constraint Language (OCL) and its integration into the Unified Modeling Language (UML) specification. • The identification of requirements and mechanisms for increasing the flexibility of the UML specification. • The design and implementation of tools for implementing graphical Domain Specific Languages (DSLs). The starting point was the author’s experience with formal specification techniques contrasted with the lack of precision of published object-oriented analysis and design methods. This led to a desire to fully integrate these two topics – formal specification and object-orientation - into a coherent discipline. The Syntropy approach, created in 1994 by this author and John Daniels, was the first published complete attempt to do this. Much of the author’s subsequent published work concerns the Unified Modeling Language (UML). UML represented a welcome unification of earlier OOAD approaches, but suffered badly from inflexibility and lack of precision. A significant part of the work included in this thesis addresses the drawbacks of the UML and proposes improvements to the precision of its definition, including through the invention of Object Constraint Language (OCL) and its incorporation into the UML specification, and the consideration of UML as source material for the definition of Domain Specific Languages (DSLs). Several of the author’s published works in this thesis concern mechanisms for the creation of DSLs, both within a UML framework and separately

    Emerging technologies for learning (volume 1)

    Get PDF
    Collection of 5 articles on emerging technologies and trend

    Telecommunications, the Transition from Regulation to Antitrust

    Get PDF
    In recognition of the fact that the competition among telecommunications platforms that demands deregulation is not ubiquitously effective, I endorse and expatiate on the objective 'bright line' test proposed by the Canadian company TELUS for determining when and within what geographic market boundaries to deregulate. In accordance with that test, I then discuss the nature of the antitrust policy upon which falls responsibility for preserving the competition that is the logical surrogate for direct regulation. Following the rule of reason prescribed by the United States Supreme Court 95 years ago, I would have that policy concentrate on the behavior of the incumbent access providers and the intent that may logically be inferred from it. Finally, applying the two preceding expositions to the highly politically charged, largely ideological demands for a legislatively imposed rule of "network neutrality," I contend that if the two previously recommended policies are followed, such a legislative mandate would be both supererogatory and counterproductive.Technology and Industry, Regulatory Reform

    Report on R. V. Akademik Vernadsky cruise 39, stage IV, June 17 - July 17, 1989

    Get PDF
    Participation by U. S. personnel on Cruise 39, Leg IV (June 17 - July 17, 1989) of the Marine Hydrophysical Institute's research vessel Akademik Vernadsky provided valuable information, documented in the present report for planning future cooperative projects with Soviet oceanographers. Detailed descriptions are given of the ship, its scientific laboratories, computers and onboard instrumentation. Planning and operating procedures are described and examples are given of daily work plans, seminars, menus and social activities. Personal accounts by the U. S. participants are also included. Many of the shipboard activities were recorded on VHS video cassettes. The oceanographic data collected in the Gulf Stream survey region during Leg IV are documented in the report. Copies of data sets were provided to the U. S. participants in exchange for U. S. data from the region during the survey period.Funding was provided by Vetelsen, the Education Office of Woods Hole Oceanographic Institution, and a Dr. Willam B. Richardson Summer Fellowship provided by Alden Products Company

    Story & Style: Pursuing Excellence on the Academic Stage

    Get PDF
    The following thesis is a brief view of the 2017-2018 production of Marco Ramirez’s contemporary play The Royale, as produced by Theatre UNO, the theatre production arm of the University of New Orleans’ Department of Film & Theatre. This thesis will include initial responses, analysis, interpretation, production synthesis and communication, and reflection with conclusions on performance, directing, and pedagogy in academic theatre. This thesis is supported by documentation of the production process, including a scored script. The play was performed in New Orleans, Louisiana at the University of New Orleans Performing Arts Center’s Robert E. Nims Theatre, November 9-19, 2017; the University of New Orleans Performing Arts Center’s Soundstage, February 17, 2018; and in San Angelo, Texas at the Angelo State University’s Auditorium Theater, twice on March 2, 2018, as part of the Kennedy Center American College Theatre Festival, Region VI (KCACTF VI)

    Automated generation of formal safety conditions from railway interlocking tables

    Get PDF
    • …
    corecore