Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Abstraction-based software development
Communications of the ACM
A Metaprogramming method and its economic justification
IEEE Transactions on Software Engineering
On merging software extensions
Acta Informatica
Rapid prototyping for large Ada software system design
Rapid prototyping for large Ada software system design
Abstract data types and software validation
Communications of the ACM
The programmer's workbench—a machine for software development
Communications of the ACM
A Programming Environment Framework Based on Reusability
Proceedings of the First International Conference on Data Engineering
Building blocks for data flow prototypes
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Evolving toward Ada in real time systems
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Normalized specifications for identifying reusable software
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
The process trellis architecture for real-time monitors
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
CAPS as a requirements engineering tool
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Normal forms for algebraic specifications of reusable Ada packages
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Software merge: semantics of combining changes to programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The class storage and retrieval system: enhancing reusability in object-oriented systems
ACM SIGPLAN OOPS Messenger
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
A real-time version of SequenceL
Annals of Software Engineering
Automated prototyping tool-kit (APT)
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Software engineering: Systems and tools
A Computer-Aided Prototyping System
IEEE Software
Rapidly Prototyping Real-Time Systems
IEEE Software
An Introduction to the Specification Language SPEC
IEEE Software
Formal Methods: Promises and Problems
IEEE Software
Knowledge-Based Support for Rapid Software Prototyping
IEEE Expert: Intelligent Systems and Their Applications
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
JAVA Wrappers for Automated Interoperability
DNIS '00 Proceedings of the International Workshop on Databases in Networked Information Systems
Interoperability with Distributed Objects through Java Wrapper
COMPSAC '00 24th International Computer Software and Applications Conference
KBMS-Based Evolutionary Prototyping of Software Systems*
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Evolutionary Computer Aided Prototyping System (CAPS)
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Automatic prototype generating via optimized object model
ACM SIGAda Ada Letters
DCAPS - Architecture for Distributed Computer Aided Prototyping System
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Quantifiable architecting of dependable systems of embedded systems
ACM SIGSOFT Software Engineering Notes
Documentation Driven Development for Complex Real-Time Systems
IEEE Transactions on Software Engineering
Encyclopedia of Computer Science
Change-Merging Of Psdl Abstract Data Types
Journal of Integrated Design & Process Science
HLA compliant network enabled distributed modeling and simulation infrastructure design
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Model-Driven Prototyping Based Requirements Elicitation
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
| Hi-index | 0.00 |
PSDL is a language for describing prototypes of real-time software systems. It is most useful for requirements analysis, feasibility studies, and the design of large embedded systems. PSDL has facilities for recording and enforcing timing constraints, and for modeling the control aspects of real-time systems using nonprocedural control constraints, operator abstractions, and data abstractions. The language has been designed for use with an associated prototyping methodology. PSDL prototypes are executable if supported by a software base containing reusable software components in an underlying programming language (e.g. Ada).