Dissertations / Theses on the topic 'Abstract State Machine'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 17 dissertations / theses for your research on the topic 'Abstract State Machine.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Angrand, Pierre-Yves. "Contributions à l'étude de la dérivation des expressions rationnelles et à l'étude des systèmes de numération abstraits." Phd thesis, Télécom ParisTech, 2012. http://pastel.archives-ouvertes.fr/pastel-00850633.
Full textNanchen, Stanislas. "Verifying abstract state machines /." Zürich : ETH, 2007. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17489.
Full textWinter, Kirsten. "Model checking abstract state machines." [S.l.] : [s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=963050001.
Full textMurrell, Stephen. "State transition specifications of abstract machines." Thesis, University of Oxford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235081.
Full textSchmid, Joachim. "Refinement and implementation techniques for Abstract State Machines." Ulm : Universität Ulm, Fakultät für Informatik, 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB9967024.
Full textBONFANTI, Silvia (ORCID:0000-0001-9679-4551). "Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code." Doctoral thesis, Università degli studi di Bergamo, 2017. http://hdl.handle.net/10446/77230.
Full textSchmid, Joachim [Verfasser]. "Refinement and implementation techniques for Abstract State Machines / Joachim Schmid." Ulm : Universität Ulm. Fakultät für Informatik, 2002. http://d-nb.info/1015323995/34.
Full textPatel, Hiren Dhanji. "Ingredients for Successful System Level Automation & Design Methodology." Diss., Virginia Tech, 2007. http://hdl.handle.net/10919/26825.
Full textPh. D.
Menar, Martin von Löwis of. "Formale Semantik des Datentypmodells von SDL-2000." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. http://dx.doi.org/10.18452/15005.
Full textWith the latest revision of ITU-T SDL (Specification and Description Language), the semantic foundations of the formal language definition were completely revised; the formal definition is now based on the calculus of Abstract State Machines (ASMs). In addition, the data type system of SDL was revised, as object-oriented concepts were added. As a result, a new semantical foundation for these new concepts had to be defined. The ACT.ONE calculus that had been used so far was not suitable as a foundation any more, as it is hard to use, unimplementable and not extensible for the object oriented features. In this thesis, we elaborate the principles of a formal language definition, and the realisation of these principles in SDL-2000. We explains that a consistent language definition can only be achieved by developing the formal semantics definition in parallel with the development of the informal definition. The formal language definition covers all aspects of the language: syntax, static semantics, and dynamic semantics. Using the data type semantics as an example, we show how each of these aspects is informally described, and then formalized. For the applicability of the formal semantics definition for practitioners, usage of tools plays a central role. We explain how we transform the formal language definition fully automatically into a tool that implements the language SDL. We also explain how creating the tool allowed us to uncover and correct errors in the informal definition.
Aspen, Said. "Determining the feasibility of automatically translating SMILE to a Java framework." Thesis, Linköping University, Department of Computer and Information Science, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15789.
Full text
MTsim (Mobile Traffic Simulator) is an Ericsson AB internal software application that is part of 2Gsim. It is used to simulate elements of a GSM (Global System for Mobile communications) network for feature testing and automated testing. It is written in the programming language TSS Language, also known as SMILE which is a proprietary Ericsson programming language. SMILE is based on the principles of state matrix programming which in essence means that each program is on its own a finite state machine. The language is old and was originally intended as a macro language for smaller test programs, not for applications the size of MTsim.
It is of interest to evaluate the feasibility of performing an automatic conversion of applications written in SMILE, with special interest in converting MTsim, to a Java framework since Java has many advantages compared to SMILE. Java, as a language, is well suited for larger applications, there are numerous well supported tools and there is a much wider spread competence than there is for SMILE.
It is clear that in order to do a full conversion of a SMILE program to a Java framework two applications must be implemented. First a Java framework, which acts as a run time environment, must be designed which can host the translated programs. The other part is an actual translator which takes a SMILE program as input and ouputs a translated Java program. A more sophisticated framework is preferred since it makes the actual translated programs more light weight and easy to read which means higher degree of maintainability.
There are different ways to implement state machines in Java but the most flexible and versatile is to implement it as a black-box framework in an object oriented way where the framework has sophisticated mechanisms for message and event handling which is central to any state machine framework.
The translation for SMILE can easily be done by using a AST (abstract syntax tree) representation, which is a full representation of the SMILE program in tree-form. The AST is obtained from an intermediate state of the SMILE program compiler.
Vassiliev, Pavel. "Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre." Phd thesis, Université Paris-Est, 2008. http://tel.archives-ouvertes.fr/tel-00462013.
Full textBojan, Marinković. "Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2014. http://www.cris.uns.ac.rs/record.jsf?recordId=89489&source=NDLTD&language=en.
Full textDoktorska disertacija se bavi temama vezanim za prekrivajuće mreže, njihovomdefinicijom, formalizacijom i primenama. Dati su opisi Chord i Synapse protokolakorišćenjem ASM formalizma, kao i dokaz korektnosti formalizacije Chord protokolana visokom nivou, kao i njegovo profinjenje. Izvršena je verovatnosna ocena uspešnosti pretrage pomoću Synapse protokola. Predstavljena je ažurirana verzija Predloga sheme meta podataka za pokretna kulturna dobra, kao i Predlog sheme meta podataka za opis kolekcija. Implementiran je Distribuirani katalog digitalizovanih kolekcija kulturne baštine Srbije zasnovan na Chord protokolu.
Prinz, Andreas. "Formal Semantics for SDL." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001. http://dx.doi.org/10.18452/13752.
Full textIn this habilitation thesis the formal semantics of the standardised specification language SDL (Specification and Description Language) is described. Because of the size of the language SDL a representative subset of the language called RSDL (Restricted SDL) was selected to present the concepts of the formal definition. In this thesis two major parts are covered: the definition of the formal semantics and its implementation. The RSDL formal semantics is intelligible, easily comparable with the informal description and represents the general understanding of RSDL. We distinguish between two phases of the definition, namely the static semantics and the dynamic semantics. The static semantics comprises the definition of a concrete grammar, a set of correctness constraints, a set of transformation rules and an abstract syntax as basis for the dynamic semantics. The result of the static semantics is a representation of the specification in abstract syntax. The dynamic semantics starts with the abstract syntax. From here a behaviour model is derived based on the theory of Abstract State Machines (ASM). In order to keep the presentation intelligible a special abstract machine is defined using ASM. This abstract machine in fact represents an abstract SDL-machine. The formal semantics describes the properties of SDL exactly. However, in order to check the correctness of the formalisation, it has to be compared with the informal language description and the intentions of the language designers. This is most easily done using a correct implementation of the semantics. The implementation of the semantics is based on a representation of the input as an abstract syntax tree. For implementing the semantics with minimal effort existing tools are used. The compiler is produced using the standard tools lex and yacc. After parsing the remaining processing is defined over abstract syntax trees, which is covered by a tool called kimwitu. The formal semantics of RSDL is implemented using these tools. The same approach is applicable for SDL.
Gawanmeh, Amjad. "Interfacing abstract state machines with multiway decision graphs." Thesis, 2003. http://spectrum.library.concordia.ca/2134/1/MQ77969.pdf.
Full textWinter, Kirsten [Verfasser]. "Model checking abstract state machines / vorgelegt von Kirsten Winter." 2001. http://d-nb.info/963050001/34.
Full textSpielmann, Marc [Verfasser]. "Abstract state machines : verification problems and complexity / vorgelegt von Marc Spielmann." 2000. http://d-nb.info/962016071/34.
Full textNowack, Antje [Verfasser]. "Abstract state machines : verification problems and computational power / vorgelegt von Antje Nowack." 2004. http://d-nb.info/972767908/34.
Full text