04490oam 2200589 450 99646530770331620230403224035.03-540-48092-710.1007/3-540-48092-7(CKB)1000000000211166(SSID)ssj0000322365(PQKBManifestationID)11268111(PQKBTitleCode)TC0000322365(PQKBWorkID)10286958(PQKB)10502144(DE-He213)978-3-540-48092-1(MiAaPQ)EBC3072711(MiAaPQ)EBC6485751(PPN)155170252(EXLCZ)99100000000021116620210717d1999 uy 0engurnn#008mamaatxtccrCorrect system design recent insights and advances /Ernst-Rüdiger Olderog, Bernhard Steffen (editors)1st ed. 1999.Berlin :Springer,[1999]©19991 online resource (XIV, 422 p.)Lecture notes in computer science ;1710Bibliographic Level Mode of Issuance: Monograph3-540-66624-9 Includes bibliographical references and index.Methodology -- Theories of programming: Top-Down and Bottom­up and Meeting in the Middle -- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development -- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development -- Real-Time Constraints Through the ProCoS Layers -- Real-Time Constraints Through the ProCoS Layers -- Monotonicity in Calculational Proofs -- Monotonicity in Calculational Proofs -- Programming -- The Alma Project, or How First-Order Logic Can Help us in Imperative Programming -- Type and Effect Systems -- Automation -- Proving Theorems About Java-Like Byte Code -- Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking -- On the Existence of Network Invariants for Verifying Parameterized Systems -- Compilation -- Verification of Compilers -- Translation Validation: From SIGNAL to C -- Compilation and Synthesis for Real-Time Embedded Controllers -- Optimization Under the Perspective of Soundness, Completeness, and Reusability -- Application -- Verification of Automotive Control Units -- Correct Real-Time Software for Programmable Logic Controllers -- Formal Methods for the International Space Station ISS -- METAFrame in Practice: Design of Intelligent Network Services.Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controlled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this challenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. On the occasion of Hans Langmaack's retirement from his professorship and in order to honor his fundamental contributions to the field, the volume editors invited 17 internationally well known researchers to evaluate the state of the art in the area of correct system design. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application. It is a unique outline of what has been achieved in the area which dates back to a pioneering paper by Alan Turing in 1949.Lecture notes in computer science ;1710.Computer systemsReliabilitySystem designComputer systemsReliability.System design.004.0684Olderog E.-R.Steffen BernhardMiAaPQMiAaPQUtOrBLWBOOK996465307703316Correct system design1489199UNISA05238nam 2200613Ia 450 991077834450332120230721031920.094-012-0540-X1-4356-2309-610.1163/9789401205405(CKB)1000000000482354(EBL)556635(OCoLC)191060884(SSID)ssj0000110208(PQKBManifestationID)11988569(PQKBTitleCode)TC0000110208(PQKBWorkID)10064160(PQKB)11232970(MiAaPQ)EBC556635(OCoLC)191060884(OCoLC)607821892(OCoLC)714567339(OCoLC)764535782(OCoLC)961537806(OCoLC)962606095(OCoLC)974510083(OCoLC)974575306(OCoLC)974613346(OCoLC)982310353(OCoLC)988458856(OCoLC)991948533(OCoLC)995003244(nllekb)BRILL9789401205405(Au-PeEL)EBL556635(CaPaEBR)ebr10380117(EXLCZ)99100000000048235420080114d2007 uy 0engur|n|---|||||txtccrBells chiming from the past[electronic resource] cultural and linguistic studies on early English /edited by Isabel Moskowich-Spiegel and Begoña Crespo-GarcíaAmsterdam ;New York Rodopi20071 online resource (280 p.)Costerus ;new ser.,174Description based upon print version of record.90-420-2341-4 Includes bibliographical references.Preliminary Material -- Introduction /Isabel Moskowich and Begoña Crespo -- The (im)possibility of stacking adjectives in Early English /Agnieszka Pysz -- Lists in letters: NP-lists and general extenders in Early English correspondence /Ruth Carroll -- Middle English medical books as examples of discourse colonies: G.U.L Hunter 307 /Francisco Alonso-Almeida -- The second-person pronoun in late medieval English drama: The York Cycle (c. 1440) /Rosa Eva Fernández-Conde -- Different paths for words and money: The semantic field of “Commerce and Finance” in Middle English /Isabel Moskowich and Begoña Crespo -- How might Everyman have been performed? /John McKinnell -- Shift of meaning in the animal field: Some cases of narrowing and widening /Isabel de la Cruz Cabanillas -- Different aspects of the specialised nomenclature of ophthalmology in Old and Middle English /María José Esteve Ramos -- Complex predicates in early scientific writing /Nuria Bello-Piñón and Dolores Elvira Méndez-Souto -- Sixteenth-century glosses to a fifteenth-century gynaecological treatise (BL, MS Sloane 249, following 180v-205v): A scientifically biased revision /Mª Victoria Domínguez-Rodríguez and Alicia Rodríguez-Álvarez -- Rewriting eleventh-century English grammar and the editing of texts /Donald Scragg -- DCL, B IV, 24: A palaeographical and codicological study of Durham’s Cantor’s Book /Francisco José Álvarez López -- The four-wheeled quadriga and the seven sacraments: On the sources for the ‘Dedication’ of the Ormulum /Nils-Lennart Johannesson -- Verbal confrontation and the uses of direct speech in some Old English poetic hagiographies /Juan Camilo Conde-Silvestre -- Tolkien, medievalism, and the philological tradition /Tom Shippey.To understand the characteristics of present-day English language and culture we must have some understanding of the earlier stages of language use. Bells Chiming from the Past investigates the early development of English and covers different aspects of English medieval studies, from traditional philological concerns, to the most recent perspectives of modern linguistics applied to early English texts. Most of the papers are based on empirical research in English Historical Linguistics, and will contribute substantially to our theoretical and descriptive understanding of English varieties, both written and spoken. The book focuses on the relationship and interaction of language and culture during the Middle English period. Some of the articles are clearly linguistically-oriented, but most could be included under a wider philological perspective since they study both language and the cultural milieu in which linguistic events took place. Bells Chiming from the Past is aimed at an international readership and makes a desirable addition to the field of Historical Linguistics, featuring as it does contributions from an array of well-known professionals from different academic and scientific institutions.Costerus.new ser. ;174.English languageHistoryEnglish languageHistoryStudy and teachingEnglish languageHistory.English languageHistoryStudy and teaching.420.9Moskowich-Spiegel Fandiño I. Sofia(Isabel Sofia)1557788Crespo García Begoña479353MiAaPQMiAaPQMiAaPQBOOK9910778344503321Bells chiming from the past3821665UNINA