A specification language for digital systems

A specification language for digital systems

Bibliographic Details
Main Author:	Blackledge, Peter
Published:	Aston University 1982
Subjects:	005 Business and Administrative studies
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.344186

Similar Items

The development and implementation of a computer based maintenance information system
by: Pendlebury, D. T.
Published: (1981)

A domain-specific aspect language approach to distributed systems development
by: Soule, Paul
Published: (2008)

Design, development and evaluation of hypermedia courseware : market research
by: Dastbaz, Mohammad
Published: (1998)

A generic high-level specification language for non-functional properties of component-based systems
by: Alreshidi, Abdulrahman Nassar
Published: (2016)

The design and implementation of command languages for digital computers
by: Jackson, I. R.
Published: (1970)

An extensible platform for specification of integrated languages for model management
by: Kolovos, Dimitriois
Published: (2008)

The simulation of a digital computer and its languages on another computer
by: Nudds, Donald
Published: (1974)

Design and specification of a program specification language for engineering applications
by: Parsa, Saeed
Published: (1992)

MP : an application specific language
by: Rogers, Mark C.
Published: (1995)

The realisation of JSD specifications in object oriented languages
by: Lewis, Colin T.
Published: (1991)

Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
by: George, Samuel R. J.
Published: (2014)

Specification and verification issues in a process language
by: Pappalardo, Giuseppe
Published: (1996)

Multilevel digital hardware description languages
by: Schulz, M. F.
Published: (1980)

Aspects of implementation of a functional programming language using combinators
by: Blackburn, K.
Published: (1987)

A declarative specification language for temporal database applications
by: Theodoulidis, Charalampos I.
Published: (1990)

Optimal utilization of historical data sets for the construction of software cost prediction models
by: Liu, Qin
Published: (2006)

Understanding Z : A specification language and its formal semantics
by: Spivey, J. M.
Published: (1985)

Computational models for declarative languages and their formal specifications in CSP
by: Lee, M. K. O.
Published: (1986)

System programming in a high level language
by: Birrell, Aandrew David
Published: (1977)

Digital Simulation of Dynamic Systems
by: Al-Afifi, J. I.
Published: (1978)

A language for configuring systems
by: Hill, Gillian Ann
Published: (2001)

A formal refinement framework for the systems modeling language
by: Jacobs, Petrus Jacobus
Published: (2015)

Language design for structured programming
by: Wallis, Peter J. L.
Published: (1977)

On the Simulation of Digital Differential Analyser Systems
by: Allerton, D. J.
Published: (1977)

Program refinement using a universal law : language specification and prototype tool
by: Marsh, David William Roff
Published: (1999)

Interaction style and specification of the occasional user of digital interfaces : perspectives from interdisciplinary assessment of virtual agent spatial guidance
by: Gil-Martinez, Santiago
Published: (2013)

An Author Language and Supporting System for Computer Assisted Instruction
by: Ward, J. K.
Published: (1975)

The Development of an Algol Based Simulation Language for Continuous Systems
by: Ashraf, K.
Published: (1977)

Human and social aspects of software development for complex organisations : an online ethnography of software developers
by: Loureiro-Koechlin, Cecilia
Published: (2006)

Software quality and software process improvement in teleworking environments
by: Guo, Hong
Published: (2001)

A programming language for use in natural language processing
by: Porter, M. F.
Published: (1972)

GOQL, a graphical query language for object-oriented database systems
by: Keramopoulos, Euclid
Published: (2004)

The design of a run time system for a real time simulation language
by: Lubran, J. F.
Published: (1973)

Formal specification and analysis of digital hardware circuits in LOTOS
by: He, Ji
Published: (2000)

Biological Development model for the Design of Robust Digital System
by: Liu, Heng
Published: (2007)

Language support for process-oriented programming of autonomic software systems
by: Miseldine, Philip L.
Published: (2007)

Formal semantics for LIPS (Language for Implementing Parallel/distributed Systems)
by: Rajan, Amala Vijaya Selvi
Published: (2009)

The pragmatic formalization of computing systems relative to a given high-level language
by: Cooke, Derek John
Published: (1976)

Structured investigation of digital incidents in complex computing environments
by: Stephenson, Peter Reynolds
Published: (2004)

Application-specific resource management in real-time operating systems
by: Patil, Ameet
Published: (2007)

Cannot write session to /tmp/vufind_sessions/sess_emhu422ekck95rhhsdv1k27nrb