System design with Ada
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to logic programming
Introduction to logic programming
Toward automating the software-development cycle
Communications of the ACM
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Combining MASCOT with MODULA-2 to aid the engineering of real-time systems
Software—Practice & Experience
PECAN: Program Development Systems that Support Multiple Views
IEEE Transactions on Software Engineering
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
ACM SIGAda Ada Letters
A complete notation for Ada charts
ACM SIGAda Ada Letters
IEEE Transactions on Software Engineering
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
Parallel programming in ANSI Standard Ada
Parallel programming in ANSI Standard Ada
Stepwise construction of non-sequential software systems using a net-based specification language
Advances in Petri Nets 1984
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
An architecture design and assessment system for software/hardware codesign
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
ICSE '85 Proceedings of the 8th international conference on Software engineering
An overview and example of application of CAEDE: a new, experimental design environment for Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
The operational versus the conventional approach to software development
Communications of the ACM
A software design method for real-time systems
Communications of the ACM
Communications of the ACM
On the Absence of Livelocks in Parallel Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior
Performance '83 Proceedings of the 9th International Symposium on Computer Performance Modelling, Measurement and Evaluation
An informal overview of CADA: a design environment for Ada
ACM SIGAda Ada Letters
Starvation and Critical Race Analyzers for Ada
IEEE Transactions on Software Engineering
Support for specifying temporal behavior in Ada designs
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
The CAEDE performance analysis tool
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
TimeBench: a CAD tool for real-time system design
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Experience with the automatic temporal analysis of multitasking Ada designs
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Hi-index | 0.00 |
A research project is described in which an experimental software CAD environment called the Carleton embedded system design environment (CAEDE), oriented toward embedded systems and Ada, was developed to provide a demonstration of the concept and to serve as a research testbed. The major contribution of CAEDE is a demonstration of a visual paradigm which combines semantic depth and syntactic shallowness, relative to Ada, in a manner that makes it possible for the embedded-system designer to work in terms of abstract machines while still thinking Ada. A secondary contribution is the identification of Prolog as a promising approach for supporting tool development in an environment which supports the visual paradigm. Also described are experimental tools for temporal analysis, performance analysis, and the generation of skeleton Ada code.