James C.P. Woodcock – författare
Visar alla böcker från författaren James C.P. Woodcock. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Häftad, Engelska, 1993
550 kr
Skickas inom 10-15 vardagar
Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Today, there is moreand more interestfrom industry in formal methods based on mathematics. Thisinterest has come from the success of a number ofexperiments on real industrial applications. Thus, there isnot only a belief, but also evidence, that the study ofcomputer programs as mathematical objects leads to moreefficient methods for constructing them.The papers in this volume were presented at the SecondInternational Conference on the Mathematics of ProgramConstruction, held at St. Catherine's College, Oxford, June29 - July 3, 1992. The conference was organized by theOxford University Programming Research Group, and continuedthe theme set by the first - the use of crisp, clearmathematics in the discovery and design of algorithms. Thesecond conference gives evidence of the ever-widening impactof precise mathematical methods in program development.There are papers applying mathematics not only to sequentialprograms but also to parallel and on-current applications,real-time and reactive systems, and to designs realiseddirectly in hardware. The volume includes 5 invited papersand 19 contributed papers.
Häftad, Engelska, 1993
1 125 kr
Skickas inom 10-15 vardagar
The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93.The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable.The volume has four parts:- Invited lectures, containing a lecture by Cliff B. Jonesand a lecture by Antonio Cau and Willem-Paul de Roever;- Industrial usage reports, containing 6 reports;- Papers, containing 32 selected and refereedpapers;- Tool descriptions, containing 11 descriptions.