A formal model of software subsystems /

A formal model of software subsystems /

Bibliographic Details
Main Author:	Edwards, Stephen
Language:	English
Published:	The Ohio State University / OhioLINK 1995
Subjects:	Computer Science
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487861796819812

Similar Items

Logging Subsystem Performance: Model and Evaluation
by: Clark, Thomas K.
Published: (1994)

Formal verification and testing of software architectural models
by: Argote Garcia, Gonzalo
Published: (2009)

A formal method for modeling and analysis of requirements for software /
by: Pino, Lou
Published: (1993)

Formal reasoning in software-defined networks
by: Reitblatt, Mark
Published: (2017)

The SCALE DRAM subsystem
by: Pharris, Brian S. (Brian Scott), 1978-
Published: (2005)

Dcharts, a formalism for modeling and simulation based design of reactive software systems
by: Feng, Huining, 1979-
Published: (2004)

A methodology for formally modeling and analyzing software architecture of mobile agent systems
by: Ding, Junhua
Published: (2004)

Efficient message subsystem design
by: Lee, Whay Sing, 1967-
Published: (2007)

The Alewife secondary storage subsystem
by: Chan, Wilson John
Published: (2006)

Automated modeling of nonlinear dynamical subsystems for stable system simulation
by: Hsiao, Yu-Chung, Ph. D. Massachusetts Institute of Technology
Published: (2015)

SCALE DRAM subsystem power analysis
by: Bhalodia, Vimal
Published: (2007)

Design and implementation of high performance communication subsystems for clusters /
by: Banikazemi, Mohammad
Published: (2000)

Data memory subsystem resilient to process variations
by: Ben Naser, Mahmoud
Published: (2008)

A data servicing subsystem for the Chidi reconfigurable processor
by: Lee, Mark (Mark Chung-Tao), 1975-
Published: (2009)

Design of a synchronization subsystem for an ultra wideband radio
by: Blázquez-Fernández, Raúl, 1975-
Published: (2007)

Electronic subsystems of a free-swimming robotic fish
by: Cho, Jamie L. (Jamie Lee), 1974-
Published: (2009)

Model-based integration testing technique using formal finite state behavioral models for component-based software
by: Ahmed, Abubakar Elsafi Ali
Published: (2017)

Advanced prognosis and health management of aircraft and spacecraft subsystems
by: Yang, Heemin Yi, 1976-
Published: (2006)

The service processor subsystem of the StarT-Voyager network of workstations
by: Bartley, Brad J. (Brad Jeremy)
Published: (2008)

Designing efficient communication subsystems for distributed shared memory (DSM) systems /
by: Dai, Donglai
Published: (1999)

System-Level Synthesis of Dataplane Subsystems for MPSoCs
Published: (2013)

An informal reasoning technique and truth maintenance subsystem for global diagnosis in an instructional system

A data processing subsystem for the Holo-Chidi video concentrator card
by: Prabhakar, Aditya, 1978-
Published: (2014)

Project performance as a function of subsystem interdependence for multi-site projects
by: Harris, Mark Scott
Published: (2005)

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications
by: Tan, Yang Meng
Published: (2007)

Reliability Modelling Of Whole RAID Storage Subsystems
by: Karmakar, Prasenjit
Published: (2014)

A compositional model for the formal specification of user interface software
by: Markopoulos, Panagiotis
Published: (1997)

A Formal Method to Analyze Framework-Based Software
by: Larson, Trent N.
Published: (2002)

Controlling the software development process through the techniques of software process modelling and formal methods
by: Proudlock, Kimberley M.
Published: (1994)

The refinement of formal specifications using reusable software components in Ada95
by: Bale, Stephen Alan
Published: (1998)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

APPROACH TO MODELLING A PERSONNEL CONTROL SUBSYSTEM BY MEANS OF FORMAL LOGIC AT THE ENGINEERING ENTERPRISES
by: V.V. NOVIKOV, et al.
Published: (2018-07-01)

APPROACH TO MODELLING A PERSONNEL CONTROL SUBSYSTEM BY MEANS OF FORMAL LOGIC AT THE ENGINEERING ENTERPRISES
by: V.V. NOVIKOV, et al.
Published: (2010-06-01)

An FPGA implementation of multicore, multithreaded powerPC processors with memory subsystem using Bluespec
by: Yamhure, Alessandro
Published: (2009)

ADEPT: A Tool to Support the Formal Analysis of Software Design
by: Campbell, Sherrie L.
Published: (2009)

Curated Reasoning by Formal Modeling of Provenance
by: Shaw, Kevin B
Published: (2013)

Software Test Strategies for the RNC RNH Subsystem
by: Yazdi, Mohammad Hamed
Published: (2013)

Cannot write session to /tmp/vufind_sessions/sess_q77ff26p9sufleolgrj8o7hn4l