An IDE for software development using tabular expressions

Authors:
Dennis K. Peters;Mark Lawford;Baltasar Trancón y Widemann
Affiliations:
Memorial University, St. John's, NL;McMaster University, Hamilton, ON;University of Limerick, Limerick, Ireland
Venue:
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Year:
2007

Citing 12
Cited 3

A rational design process: How and why to fake it

IEEE Transactions on Software Engineering
The calculus of constructions

Information and Computation - Semantics of Data Types
Precise Documentation of Well-Structured Programs

IEEE Transactions on Software Engineering
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS

IEEE Transactions on Software Engineering
Functional documents for computer systems

Science of Computer Programming
Tabular representations in relational documents

Relational methods in computer science
Requirements-Based Monitors for Real-Time Systems

IEEE Transactions on Software Engineering
Integration in PVS: Tables, Types, and Model Checking

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
Specification of Software Component Requirements Using the Trace Function Method

ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Software tools for safety-critical software development

International Journal on Software Tools for Technology Transfer (STTT) - A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
A family of mathematical methods for professional software documentation

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Tabular Expressions and Total Functional Programming

Implementation and Application of Functional Languages
Application of the trace assertion method to the specification, design, and verification of automaton programs

Programming and Computing Software
A tabular expression toolbox for matlab/simulink

NFM'11 Proceedings of the Third international conference on NASA Formal methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour.