MSU Libraries
Digital Repository
Home
About
Collections
Selected facets
Copyright Status: In Copyright
×
Program of Study: Computer Science
×
Subject: Software engineering
×
Collection
Electronic Theses & Dissertations
4
Material Type
Theses
4
Language
English
4
Subject
Computer programs
1
Computer software--Development
1
Computer software--Development--Quality control
1
Computer-aided software engineering
1
Embedded computer systems
1
Object-oriented methods (Computer science)
1
Semantic integration (Computer systems)
1
System design--Data processing
1
Translators (Computer programs)
1
UML (Computer science)
1
VHDL (Computer hardware description language)
1
Search results
Showing 1 to 4 of 4 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
Integrative analysis of state-based requirements for completeness and consistency
Czerny, Barbara Jean
Text (1998)
Part of
Electronic Theses & Dissertations
Object-oriented design of embedded systems with translation to VHDL
Coombs, Gretel Van Lente
Text (1998)
Part of
Electronic Theses & Dissertations
The application of formal methods to the reverse engineering of imperative program code
Gannod, Gerald C.
Text (1994)
Part of
Electronic Theses & Dissertations
Specifying compositional semantic functions for non-hierarchical languages using natural deduction systems
Goldsby, Heather J.
Text (2004)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last