Copyright © 2007-2013

Home Control Mechanisms Control Usage Dealing With Control ProSpecs Who's He? Contact

ProSpecs is a tool which is not commercially available. I developed it to assist my own research activities. It offers facilities for general purpose programming - although there are numerous other general purpose programming environments which make available more flexible general purpose input/output capabilities.

The special features provided by ProSpecs and not normally found in general purpose programming environments are:

• Support for use of a proprietary (to me) database system designed to provide very flexible support for system specification and building.
• Support for preparation of files of messages in various formats for input to real-time and on-line system simulators to assist checking for valid implementation of system components or of the overall system.
• Support for analysis of one or more message files recorded during a simulator exercise or in in-service use of the operational system.
• Support for simulation of system components, groups of system components or the overall system, or the overall system and its environment - from the earliest stages of specification through to later stages of design.

ProSpecs is a programming language and portable Integrated Development Environment, written in Java. Since I retired some years ago it is unlikely to align with current systems development research, but it enables me to try ideas for which I couldn't get support before I retired.

The language necessarily contains support for many general programming language features, but is unlikely to impress you as a serious competitor to mainstream programming languages. Its main features are described under General Language Features.

The features which, I believe, make it special are those mentioned above. They are described in a little more detail under Special Language Features.

The IDE provides a user interface to support the creation and editing of user programs written in the ProSpecs language, display of key aspects of the data definitions which support the special features and display of run-time data values shared between concurrently executing user programs and private to individually executing programs. Those are described under The User Interface.

ProSpecs