Enabling integrative analyses and refinement of object-oriented models with special emphasis on high-assurance embedded systems / by Laura Anne Campbell.

Show other versions (2)

Bibliographic Details
Main Author:	Campbell, Laura Anne
Language:	English
Published:	2004.
Subjects:	Embedded computer systems. Object-oriented methods (Computer science) Electronic dissertations.
Genre:	Electronic dissertations.
Online Access:	Connect to online resource - MSU authorized users Connect to online resource - All users (Digital Object Identifier Permalink)
Dissertation Note:	Thesis Ph. D. Michigan State University. Department of Computer Science and Engineering 2004.
Physical Description:	1 online resource (xix, 324 pages) : illustrations
Format:	Thesis Electronic eBook

Similar Items

Enabling integrative analyses and refinement of object-oriented models with special emphasis on high-assurance embedded systems
by: Campbell, Laura Anne
Published: (2004)

Enabling integrative analyses and refinement of object-oriented models with special emphasis on high-assurance embedded systems
by: Campbell, Laura Anne
Published: (2004)

A generic framework for formalizing object-oriented modeling notations for embedded systems development
by: McUmber, William Eugene
Published: (2000)

A generic framework for formalizing object-oriented modeling notations for embedded systems development
by: McUmber, William Eugene
Published: (2000)

A generic framework for formalizing object-oriented modeling notations for embedded systems development
by: McUmber, William Eugene
Published: (2000)

Embedded systems : a contemporary design tool
by: Peckol, James K.
Published: (2008)

Object linking and embedding programmer's reference : version 1, designed to work with Microsoft Windows versions 3.0 and 3.1.
Published: (1992)

Object-oriented design of embedded systems with translation to VHDL
by: Coombs, Gretel Van Lente
Published: (1998)

Object-oriented design of embedded systems with translation to VHDL
by: Coombs, Gretel Van Lente
Published: (1998)

Object-oriented design of embedded systems with translation to VHDL
by: Coombs, Gretel Van Lente
Published: (1998)

Flow design for embedded systems : a radical new unified object-oriented methodology
by: Kauler, Barry, 1950-
Published: (1999)

Real-time UML workshop for embedded systems
by: Douglass, Bruce Powel
Published: (2007)

Defining and using requirements patterns for embedded systems
by: Konrad, Sascha J.
Published: (2003)

Defining and using requirements patterns for embedded systems
by: Konrad, Sascha J.
Published: (2003)

Real-time UML : developing efficient objects for embedded systems
by: Douglass, Bruce Powel
Published: (2000)

Defining and using requirements patterns for embedded systems
by: Konrad, Sascha J.
Published: (2003)

Model-driven development and analysis of high assurance systems
by: Konrad, Sascha J.
Published: (2006)

Model-driven development and analysis of high assurance systems
by: Konrad, Sascha J.
Published: (2006)

Embedded multitasking
by: Curtis, Keith, 1961-
Published: (2006)

Object-oriented programming
by: Coad, Peter
Published: (1993)

Object orientation : concepts, languages, databases, user interfaces
by: Khoshafian, Setrag
Published: (1990)

Embedded hardware
Published: (2008)

Object-oriented programming : an introduction
by: Voss, Greg
Published: (1991)

Object-oriented methods : pragmatic considerations
by: Martin, James, 1933-2013
Published: (1996)

Object-oriented methods : principles & practice
by: Graham, Ian, 1948-
Published: (2001)

Object oriented technologies opportunities and challenges
Published: (2000)

Object-oriented programming : an evolutionary approach
by: Cox, Brad J., 1944-
Published: (1991)

Object-oriented type systems
by: Palsberg, Jens
Published: (1994)

Object-oriented simulation reusability, adaptability, maintainability
Published: (1997)

Object-oriented technology ECOOP 2004 workshop reader : ECOOP 2004 workshops, Oslo, Norway, June 14-18, 2004 : final reports
Published: (2005)

Embedded system design
by: Marwedel, Peter, 1949-
Published: (2003)

Embedded system design
by: Marwedel, Peter, 1949-
Published: (2003)

Customizable embedded processors design technologies and applications
Published: (2006)

Embedded systems : architecture, programming and design
by: Kamal, Raj
Published: (2008)

Embedded systems hardware, design, and implementation
Published: (2012)

Embedded Systems : Design, Programming and Applications
by: Ganguly, Amar K.
Published: (2014)

Model-driven development and analysis of high assurance systems
by: Konrad, Sascha J.
Published: (2006)

Object-oriented Oracle
by: Rahayu, Johanna Wenny
Published: (2006)

Embedded, everywhere : a research agenda for networked systems of embedded computers
Published: (2001)

Object-oriented requirements analysis : a quick tour
by: Berard, Edward V.
Published: (1990)