Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 2318 for “"specification"”.
-
Formal specification of a specification library
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982.
-
Specification-enhanced execution
… execution to the runtime system. We present specification- enhanced execution, a programming and execution model that allows the programmer to describe certain aspects of program execution using high level specifications that the runtime is responsible for executing. With our approach, the …
-
Specification-driven design
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1990.
-
Tool specification with GTSL
… is the schema of the database. We propose tool specification languages that are capable of describing the tools' schemas as well as the other varying tool components at different levels of abstraction. These different levels of abstraction will provide the tool builder with the flexibility to …
-
Formal specification based prototyping
… is based on the execution of VDM-based formal specification notation META-IV; the latter is based on a textual representation of state transition diagrams. Dialogue development is further supported by a rich set of abstractions which allow interaction concepts to be specified and directly …
-
Formal Specification Driven Development
… a quantitative metric of investigating Formal Specification-Driven Development (FSDD). Formal specification is needed at the beginning of the development process to prevent ambiguity and to improve the quality through corrections of errors found in the late phases of a traditional design …
-
Graphical Specification of Computation
Made available in DSpace on 2014-12-08T22:54:46Z (GMT). No. of bitstreams: 1 6901421.pdf: 3710404 bytes, checksum: cdfb15ca2f670a925409b4430b8a95d6 (MD5) Previous issue date: 1968
-
Graphical Specification of Computation
… No. of bitstreams: 1 Graphical Specification of Computation.pdf: 1858940 bytes, checksum: aaba1efd04d779c52a27de7c83a52756 (MD5)
-
Specification of Software Architecture Reconfiguration
In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new …
-
An enterprise policy specification tool
… them for enforcement. An Enterprise Policy Specification Tool (PST) is introduced in this thesis that provides a solution to the above problems. The tool is unique since it provides a model-driven policy specification language that incorporates constructs to denote the enterprise model in …
-
Improvisational specification of design spaces
… is invented as a one-off final description or specification of designs, and that the individual who designs or composes has nothing new to contribute in the calculations other than to search and select among available possibilities. I suggest that this is limiting for the visual fields, such as …
-
Relational specification as a testing oracle
… this testing literature rarely deals with specification based testing. Testing from formal specifications offers a simple, structured and more rigorous approach to the functional tests than testing techniques. An important application of specification in testing is providing test oracles. …
-
Specification of Sulfur Forms in Coal
Over a century of studies of the organic chemistry of coal has led to many accomplishments in coal chemistry. The recognition of the role that sulfur plays in coal makes the speciation of sulfur in coal one of the most important research goals. In this research solvent extraction, ultimate …
-
Coalgebraic Methods for Object-Oriented Specification
… thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two main contributions of the present thesis: 1. Chapter …
-
Molecular analysis of germ cell specification
… first cells in the germline, and their correct specification is essential for the eventual production of gametes (eggs and sperm). Murine PGCs arise as a small population in the post-implantation epiblast in response to external signals, including BMP4 and WNT. However, what governs the first …
-
Analogical specification reuse during requirements analysis
… understanding and customising reusable specifications during requirements engineering. Cooperation between software engineers and support tools is necessary for effective analogical reuse. Retrieval uses a computational implementation of analogical reasoning to search and match many …
-
Specification testing of spatial econometric models
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms
-
Hippocampal microcircuits for social memory specification
… between multiple familiar individuals (social specification). Recent studies have implicated hippocampal sub-region dorsal CA2 (dCA2) in social recognition and identified social recognition memory engram in downstream ventral CA1 (vCA1). However, the anatomical site for the storage of social …
-
Analysis and specification of office procedures
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982.
-
Domain knowledge specification using fact schema
The advantages of integrating artificial intelligence (AI) Technology with data base management system (DBMS) technology are widely recognized as indicated by the results from the survey of AI and data base (DB) researchers. ...In our work, we have focused on the use of data base systems to store …
Page 1 of 116