MSU Libraries
Digital Repository
Home
About
Collections
Selected facets
Program of Study: Computer Science and Engineering
×
Subject: Object-oriented methods (Computer science)
×
Collection
Electronic Theses & Dissertations
3
Material Type
Theses
3
Language
English
3
Copyright Status
In Copyright
3
Subject
Contracts
1
Embedded computer systems
2
Object-oriented programming (Computer science)
1
Synchronization
1
Search results
Showing 1 to 3 of 3 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
A generic framework for formalizing object-oriented modeling notations for embedded systems development
McUmber, William Eugene
Text (2000)
Part of
Electronic Theses & Dissertations
Enabling integrative analyses and refinement of object-oriented models with special emphasis on high-assurance embedded systems
Campbell, Laura Anne
Text (2004)
Part of
Electronic Theses & Dissertations
Designing and implementing a model of synchronization contracts in object-oriented languages
Behrends, Karl Reimer
Text (2003)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last