Springer london jul 1997 (2 risultati)
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,55
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are jus…tified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code. 424 pp. Englisch.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -When men of knowledge impart this knowledge, I do not mean they will convince your reason. I mean they will awaken in you the faith that it is so. - Sri Krishna, Bhagavadgita BACKGROUND The use of computers has led to significant producti…vity increases in the en gineering industry. Most ofthe computer-aided engineering applications were . restricted to algorithmic computations, such as finite element programs and circuit analysis programs. However, a number ofproblems encountered in en gineering are not amenable to purely algorithmic solutions. These problems are often ill-structured; the term ill-structured problems is used here to de note problems that do not have a clearly defined algorithmic solution. An experienced engineer deals with these ill-structured problems using his/her judgment and experience. The knowledge-based systems (KBS) technology, which emerged out of research in artificial intelligence (AI), offers a method ologyto solve these ill-structuredengineering problems. The emergenceofthe KBS technology can be viewed as the knowledge revolution: other important events that led to increased productivity are the industrial revolution (17th century); the invention of the transistor and associated developments (first half of the 20th century); and the world-wide web (towards the end of the 20th century). Kurzweil, in a lecture at M. LT on December 3, 1987, linked the progress of automation to two industrial revolutions: the first industrial PREFACE xxxii revolution leveraged our physical capabilities, whereas the second industrial revolution - the knowledge revolution - is expected leverage oUr mental ca pabilities. 848 pp. Englisch.
