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 8 of 8 for “"stepwise refinement"”.
-
Variable screening and model selection in censored quantile regression via sparse penalties and stepwise refinement
Many variable selection methods are available for linear regression but very little has been developed for quantile regression, especially for the censored problems. This study will look at the possibilities of utilizing some existing penalty variable selection methods on censored quantile …
-
A formal description language for specifying and verifying real-time software systems.
… semantics of the language. It also presents a stepwise refinement approach, a preprocessor and a library of templates which support the use of RDL in the specification of relatively complex systems. RDL is used to specify solutions to a number of realistic problems. The systems specified range …
-
An integrated programming environment for pseudo-code development, IPE-PC
… of both top-down and bottom-up programming. Stepwise refinement has been supported by providing comment structures that can be transformed into procedures. Bottom-up programming is supported because it is possible to create and save program segments which can be inserted to the programs at …
-
Message sequence chart specifications with cross verification
… representations, Message Flow Graphs and by stepwise refinement, a Global State Transition Graph is created. This GSTG has all the properties of a State Transition Diagram and therefore can be analyzed in conjunction with the original STD.
-
FLOW : a programming environment using diagrams
… well-structured systems using the methodology of stepwise refinement. A central component of the environment is a software production data base which holds the programme source as well as control information pertaining to the state of development of the system and interfaces of the various …
-
Incremental Validation of Formal Specifications
… of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation technique can be considered a form of "lightweight" model checking. This is in contrast to a "heavyweight" approach, wherein an entire large-scale model is validated en masse. The …
-
Secure protocols for contactless credit cards and electronic wallets
… Secure CC Protocol, and design it using stepwise refinement. This protocol makes use of single-use "charge tokens" verifiable by the bank, while minimizing computation that needs to occur on the card. Second, we identify two attacks which may be carried out by malicious retailers: …
-
PolyAPM: Comparative Parallel Programming with Abstract Parallel Machines
A parallelising compilation consists of many translation and optimisation stages. The programmer may steer the compiler through these stages by supplying directives with the source code or setting compiler switches. However, for an evaluation of the effects of individual stages, their selection and …