The proceedings contain 25 papers. The topics discussed include: the ergo support system: an integrated set of tools for prototyping integrated environments;object database support for a software project management en...
ISBN:
(纸本)089791290X
The proceedings contain 25 papers. The topics discussed include: the ergo support system: an integrated set of tools for prototyping integrated environments;object database support for a software project management environment;interacting with an active, integrated environment;the workshop system - a practical knowledge-based software environment;a plan-based intelligent assistant that supports the software development process;the relationship between software development environments and the software process;CENTAUR: the system;foundations for the arcadia environment architecture;the software life cycle support environment (SLCSE) a computer based framework for developing software systems;the Ergo attribute system;a software development environment for law-governed systems;transformational derivation of programs using the focus system;PGRAPHITE: an experiment in persistent typed object management;user interface support for the integration of software tools: an iconic model of interaction;team: a support environment for testing, evaluation, and analysis;extended programming in the large in a software development environment;version management in gypsy;an integrated toolset for engineering software configurations;and a graph transform model for configuration management environments.
The Ergo Support System (ESS) is an engineering framework for experimentation and prototyping to support the application of formal methods to program development, ranging from program analysis and derivation to proof-...
详细信息
A model for software configuration management that subsumes several existing systems is described. It is patterned after compiler models in which programs are transformed by multiple phases ending in an executable pro...
详细信息
The proceedings contain 22 papers. The topics discussed include: using Ada as a language for a CAD tool development: lessons and experiences;experiences in the implementation of a large Ada project;an implementation o...
The proceedings contain 22 papers. The topics discussed include: using Ada as a language for a CAD tool development: lessons and experiences;experiences in the implementation of a large Ada project;an implementation of asynchronous I/O for Ada;issues in implementing Ada on multiprocessors;development of an interoperability tool for software engineering environments;device driver development in ada;the second Ada project: reaping the benefits;modular communications gateway in Ada;a development methodology for distributed Ada applications;Ada reuse within the context of an Ada programming support environment;on implementing the OSI model in Ada via tasking;a window based visual debugger for a real time Ada tasking environment;an Ada interface to Diana for inter-tool communication;software engineering and Ada training: an implementation model for NASA;Alexi - a case study in design issues for LISP capabilities in Ada;space station software: progress and plans;and object-oriented analysis.
Introduction: A system is parameterized when it has one or more external inputs which partially determine a result. In the lambda calculus parameterization arises in two situations;the value of a function is parameriz...
详细信息
There are 25 papers presented in the symposiumproceedings on languageissues in programmingenvironments. Topics discussed in these papers object based, rule-based, side-effect-free, Mesa, Cedar, and logic programmin...
详细信息
ISBN:
(纸本)0897911652
There are 25 papers presented in the symposiumproceedings on languageissues in programmingenvironments. Topics discussed in these papers object based, rule-based, side-effect-free, Mesa, Cedar, and logic programmingenvironments. Software environment is also considered.
The proceedings contain 29 papers. The topics discussed include: environments as first class objects;semantic parallelization : a practical exercise in abstract interpretation;a logic for partially specified data stru...
ISBN:
(纸本)0897912152
The proceedings contain 29 papers. The topics discussed include: environments as first class objects;semantic parallelization : a practical exercise in abstract interpretation;a logic for partially specified data structures;axioms for concurrent objects;the concurrent logic programminglanguage CP: definition and operational semantics;on strictness and its analysis;macro-by-example: deriving syntactic transformations from their specifications;automatic decomposition of scientific programs for parallel execution;binding performance at language design time;strictness analysis and denotational abstract interpretation;compiling strictness into streams;completeness and incompleteness of trace-based network proof systems;computable values can be classical;full abstraction of a real-time denotational semantics for an OCCAM-like language;concurrent transition system semantics of process networks;semantics for concurrency without powerdomains;and appraising fairness in languages for distributed programming.
LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural ...
ISBN:
(纸本)9780897912150
LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton which represents the control of the program. Formal rules for program transformation are also presented.
Recent work on generating tools and techniques have significantly eased the design and construction of programmingenvironments (PEs). Concurrently, advances in workstation hardware have enhanced both the potential ca...
DIGITAL's VAXTH Ada' ia a validated, productionquality implementation of the full Ada language that t well-integrated into the VMSTM operating sy8- tern environment on VAX systemr. The programming support envi...
详细信息
暂无评论