NDLI: Experiments with Prolog design descriptions and tools in CAEDE: an iconic design environment for mutltitasking, embedded systems

Please wait, while we are loading the content...

PRISM—productivity improvement for software engineers and managers

SODOS—a software documentation support environment: its use

Operations for programming in the all

“DASOM”—a software engineering tool for communication applications increasing productivity and software quality

Two-way translators based on attribute grammar inversion

Database theory for supporting specification-based database system development

Extending the implementation scheme of functional programming system FP for supporting the formal software development methodology

Software templates

Experiments with Prolog design descriptions and tools in CAEDE: an iconic design environment for mutltitasking, embedded systems

Continuous execution: the VisiProg environment

Interface control and incremental development in the PIC environment

SPADES—a specification and design system and its graphical interface

Ensuring integrity by adding obligations to privileges

The stream machine: a data flow architecture for real-time applications

A collection of software tools for analyzing designs of concurrent software systems

Discrete event simulation as a means of validating JSD design specifications

New software engineering programs—worldwide (panel session)

Active design reviews: principles and practices

Software development process audits—a general procedure

Software quality assessment technology

PMDB—a project master database for software engineering environments

The software knowledge base

The persistent store as an enabling technology for integrated project support environments

A comparison of cost estimation tools (panel session)

Building awareness of system testing issues

Software technology maturation

Design using software engineering principles: overview of an educational program

On executable models for rule-based prototyping

Distributed software prototyping with ADS

A technique for prototyping directly from a specification

Rapid prototyping of control systems using high level Petri nets

Experiments determining best paths for testing computer program predicates

A comparison of data flow path selection criteria

Test case generation using Prolog

The causes and effects of infeasible paths in computer programs

Programmer performance and the effects of the workplace

Software engineering provisioning process

A comparison of Lisp, Prolog, and Ada programming productivity in AI area

COCOMO evaluation and tailoring

The software process and software environments (panel session)

Analyzing the test process using structural coverage

An integrated system for program testing using weak mutation and data flow analysis

An interactive debugger for a concurrent language

Program productivity hot topics and hot air (panel session)

An empirical study of a model for program error prediction

An experimental evaluation of simple methods for seeding program errors

Completely monotone regression estimates of software failure rates

Automatic tuning of multi-task programs for real-time embedded systems

PROMPTER: a knowledge based support tool for code understanding

The Analyst—a workstation for analysis and design

Criteria for software modularization

A validation of software metrics using many metrics and two resources

Calculation and use of an environment's characteristic software metric set

The role of logic and AI in the software enterprise (panel session): panel description

Another view of software (panel session)

Intelligent support for the engineering of software (panel paper)

The role of logic in software enterprise (panel paper)

Experiments with Prolog design descriptions and tools in CAEDE: an iconic design environment for mutltitasking, embedded systems

Content Provider	ACM Digital Library
Author	Buhr, R. J. A. Van Der Loo, K. Woodside, C. M. Karam, G. M. Lewis, D. G.
Abstract	We report on experiments with Prolog design descriptions and tools in CAEDE (Carleton Embedded System Design Environment), an experimental, iconic design environment for multitasking, embedded systems. The philosophy of CAEDE is to enter structural and temporal design information iconically, via a graphics interface, to serve as the basis for design analysis and skeleton code generation, and then to enter, under control of the iconic interface, program “strips” to fill in the functional gaps in the skeleton code. The iconic information is converted automatically into a Prolog design data base of facts and rules. CAEDE aims to support incremental design and to be incrementally extensible. In the current implementation of CAEDE, which runs on a SUN workstation supporting design for Ada, the iconic interface is limited to structural design. Here we describe the Prolog side of our research, covering the nature of the facts produced from the iconic input by the current implementation and their use by experimental Prolog tools for structural analysis, temporal analysis and Ada code generation. The aim is to show how Prolog is contributing to the framework of a powerful, extensible design environment.
Starting Page	62
Ending Page	67
Page Count	6
File Format	PDF
ISBN	0818606207
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1985-08-01
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in