|
| |
| | B-Core (UK) A Comparison of Z and VDM with B/AMN |
 | | The semi-graphical schema notation of Z is not used in AMN; it is keyword-based as is VDM. | | | VDM and AMN are "wide-spectrum", in that they have imperative programming constructs as part of the notation. | | | VDM: insert(elem:TYPE) = wr var:set(TYPE) pre ~(elem : var) post var = var` \/ {elem} AMN: insert(elem) = PRE elem:TYPE & elem /: var THEN var := var \/ {elem} END |
|
http://www.b-core.com/ZVdmB.html
(693 words)
|
|
| |
| | VDM - Vienna Development Method |
| | VDM is their modern descendent, now used well beyond the bounds of language semantics in industrial systems development as well as academic research. | | | VDM stands for "The Vienna Development Method": a collection of techniques for the formal specification and development of computing systems. | | | VDM's origins lie in the research on formal semantics of programming languages at IBM's Vienna Laboratory in the 1960s and 70s, including the VDL and Meta-IV notations. |
|
http://www.vienna.cc/evdm.htm
(3476 words)
|
|
| |
| | The B Formal Method Bibliography |
| | Developping software components is now a new challenge in the software industry. | | | Developping software components is now a technique widely used by the software industry. | | | Abstract: Superposition is a powerful program modularization and structuring method for developing parallel and distributed systems by adding new functionality to an algorithm while preserving the original computation. |
|
http://wwwtest.sunsite.org.uk/sites/savannah.gnu.org/upload/brillant/docs/B-Bibliography/B-Bibliography.html
(13203 words)
|
|
| |
| | VDM Information |
| | VDM (The Vienna Development Method) is a set of techniques for modelling computing systems analysing those models and progressing to detailed design and coding. | | | VDM has its origins in the work of the IBM Vienna Laboratory in the mid-1970s. | | | VDM and Z: The Z notation is a model-oriented specification notation which has some important similarities and interesting differences from VDM-SL. |
|
http://www.csr.ncl.ac.uk/vdm
(784 words)
|
|
| |
| | Task Analysis: The Missing Link |
| | Blum [Blu94] refers to design methods as those methods which are used in each phase of the software development process, namely requirements analysis, software design and coding. | | | JSD is a method for specifying and implementing computer systems whose subject matter has a strong time dimension, for example real-time, data processing and simulation systems. | | | OOAD was seen to be the best design method, as it uses an object rather than data or process oriented approach to modelling the design of a system. |
|
http://www.cs.upe.ac.za/staffHomePages/csajlw/Publications/PAPER95.html
(4713 words)
|
|
| |
| | The Myth of Open Source Security Revisited v2.0 |
| | Dare Obasanjo is a recent graduate of the Georgia Institute of Technology, with a degree with honors in computer science. | | | Code Audits: Reviews of source code by developers other than the author of the code are good ways to catch errors that may have been overlooked by the original developer. | | | Tools for specifying software using formal techniques exist such as VDM and Z. (pronounced 'zed') is a formal specification notation based on set theory and first order predicate logic. |
|
http://www.developer.com/open/article.php/990711
(2047 words)
|
|
| |
| | scope |
| | The goal of the school is to introduce into the leading formally supported design and anlysis methods which are theoretically well founded and at the same time have proved useful for engineering reliable complex software under industrial constraints. | | | The course is addressed to both practitioners and researchers, in particular to system programmers and to postgraduates who want to learn how to develop a complex software system, starting from reliable abstract models, refining them stepwise to executable code and verifying and validating them to possess the desired properties. | | | The participants will be introduced to the tool environments which support the methods. |
|
http://www.cism.it/cism/p2001/scopeC0108.htm
(338 words)
|
|
| |
| | Formal Methods Virtual Library |
| | Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. | | | Mizar System, a long-term effort aimed at developing software to support a working mathematician in preparing papers. | | | Alloy Analyzer, an object modelling notation that is compatible with development approaches such as |
|
http://www.afm.sbu.ac.uk
(1633 words)
|
|
| |
| | Research at the IST |
| | Formal development methods are mathematical methods for producing software (and today digital hardware). | | | At a NATO conference in 1968, it was realized that the construction of software is so complex that its development deserves to be an engineering discipline of its own -- the term software engineering was born. | | | In the same decade, the first formal development methods have been invented. |
|
http://www.ist.tugraz.at/research
(258 words)
|
|
| |
| | Modern Cost Estimation Tools - Comparison of Products |
| | COCOMO was developed in the late 1970s and early 1980s by Barry Boehm (1981). | | | Semi-detached software projects are systems of medium size and complexity developed by a group of developers of mixed experience levels. | | | The Basic model expresses development effort strictly as a function of the size (in thousands of source lines of code) and class of software being developed. |
|
http://www.dacs.dtic.mil/techs/estimation/comparison.shtml
(2409 words)
|
|
| |
| | The Concept of the Regional Development Platform and Regional Development Platform Method (RDPM) as a Tool for Regional ... |
| | Regional development strategies should be based on sound assessment of regional business potentials and on possibilities to develop the defined potentials in order to gain competitive advantage on other regions. | | | The last phase of the method is the so-called core process sub-method that is designed to form and run future oriented innovation networks in order to exploit the existing regional potential of the defined development platforms. | | | A reasonable combination of, on the one hand, a focused development environment and, on the other hand, a networked development environment is crucial in building sustainable regional competitiveness in today?s world. |
|
http://ideas.repec.org/p/wiw/wiwrsa/ersa03p392.html
(686 words)
|
|
| |
| | DDC-I Quality Assurance Activities for Real-time Embedded Software Development |
| | Because DDC-I has been developing software development environments for more than 10 years, it is possible to reuse designs and code, reduce cost and increase quality. | | | The software QA organization is separated from the research and development organization in order to increase the effectiveness of software quality. | | | However, quality engineers allocated to a certain project are often developers of another project, because when QA is performed by people of experience, the quality of software can be better ensured. |
|
http://www.ddci.com/products_quality.shtml
(697 words)
|
|
| |
| | TriReme senior consultant Derek Andrews |
| | In 1981 he was appointed as Senior Lecturer and Head of Department in Computing at Leicester University to establish the Computing Studies Unit and to initiate a program of computing education and research. | | | He also wrote a formal definition of minimal BASIC using the Vienna Development Method (denotational) meta-language, META-IV, and also a version using the BASIS meta-language that had been used to define PL/I. He also worked on early OO languages as part of IBM's bid for what was to become the ADA project. | | | He was also a consultant to the Open University for an advanced (postgraduate) course on software engineering, and prepared four units on software specification and development. |
|
http://www.trireme.com/expert_help/derek_andrews.html
(375 words)
|
|
| |
| | PROGRAM DEVELOPMENT |
| | programudviklings tid (program development time, program test time), programudvikling ved specificering og omsætning (Program development by specification and transformation), programtest tid (program development time, program test time). | | | Specialty definitions using "PROGRAM DEVELOPMENT": AD/Cycle, applications programmer, applications programmer-analys ♦ CHIEF, COMPUTER PROGRAMMER, coordinator, computer programmin ♦ EML ♦ Microprocessor-Development System ♦ Program development by specification and transformation, programmer, busines, PROGRAMMER-ANALYST, Prograph ♦ random access storage, random access store, RSTS/E, RSTSE ♦ Vienna Development Method, Visual BASIC. | | | χρόνος ελέγχου προγράμματος (program development time, program test time), χρόνος ανάπτυξης προγράμματος (program development time, program test time), ανάπτυξη προγραμμάτων με προδιαγραφές και μετασχηματισμό (Program development by specification and transformation). |
|
http://www.websters-online-dictionary.org/definition/PROGRAM+DEVELOPMENT
(494 words)
|
|
| |
| | Adelard: Free Version of SpecBox |
| | Although Adelard has taken due care in developing the Software, it has not been developed to the same standards as those required for application software for critical (e.g. | | | SpecBox is a checking tool for the Vienna Development Method (VDM), a formal method for software specification and development. | | | SpecBox principally provides syntax checking, some simple semantic checking, and generation of a LaTeX file enabling specifications to be printed in mathematical notation. |
|
http://www.adelard.co.uk/software/specbox/index.htm
(314 words)
|
|
| |
| | UMCS-87-1-2 A Formal Description Method for User Interfaces |
| | Formal description methods and user interface design are both important research topics in computer science. | | | Thus a hybrid method is proposed for formally describing interactive systems with emphasis on the user interface. | | | The finite-state machine, or transition-state diagram (TSD), approach is best for illustrating the flow of control, while a set-theoretic approach, such as the Vienna Development Method (VDM), meets the remaining criteria. |
|
http://www.cs.man.ac.uk/cstechrep/Abstracts/UMCS-87-1-2.html
(233 words)
|
|
| |
| | Information on Vienna Development Method |
| | (VDM) A program development method based on formal specification using the Vienna Development Method Specification Language (VDM-SL). | | | From The Free On-line Dictionary of Computing (27 SEP 03) : | | | [ W E B K N O W L E D G E O N L I N E :: Vienna Development Method ] |
|
http://www.wkonline.com/d/Vienna_Development_Method.html
(63 words)
|
|
| |
| | FreeTechBooks.com - Formal Method |
| | Teaches a particular systematic approach to software development concentrating on the stages from specication through design to implementation. | | | Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM. | | | Describes theory of programming as something that will provide a much greater degree of precision by providing a method of calculation to software engineers. |
|
http://www.freetechbooks.com/forum-28.html
(254 words)
|
|
| |
| | [No title] |
| | We discuss a concept of method in terms of its postulated principles, techniques and tools for the realm of software engineering. | | | He is well-known for his work in the Vienna software Development Method (VDM) and the VDM specification language. | | | Bjorner first worked on the hardware design of mainframe and super computers at IBM. |
|
http://www.cse.cuhk.edu.hk/~temmy/seminar/00/010426.htm
(553 words)
|
|
| |
| | [20040326] SPECIFICATION OF SOFTWARE SYSTEMS |
| | This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development. | | | Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification. | | | The book can also be used as a text for a one-semester course on formal methods at the senior undergraduate level. |
|
http://www.ticmundi.com/nuls/0-387-98430-5.html
(94 words)
|
|
| |
| | VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development |
| | Second, process data and product data of software development are recorded in each exercise. | | | During the course, they can confirm its suitability as follows; First, they practice several exercises for software development, while techniques of VDM are introduced gradually. | | | Third, by evaluating these data by several metrics, they can confirm the suitability of VDM for their work. |
|
http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200327abs.htm
(257 words)
|
|
| |
| | Definition of Vienna Development Method from dictionary.net |
| | DICT Development Group - A WWW interface to several freely available on-line dictionaries, including Webster's 1913, the Jargon File, the US Gazetteer, and Easton's Bible Dictionary. | | | Search for vienna development method @ Ask Jeeves | | | Includes an index of on-line grammars, word of the day by email, and several pages of linguistic fun. |
|
http://www.dictionary.net/vienna+development+method
(1252 words)
|
|
| |
| | Control Chaos |
| | To learn iterative, incremental development the agile way using Scrum, the next ScrumMaster Certification classes are: | | | "Shorting development cycles through sprint planning was a key learning in the 2-day Scrum course; a learning that will make it easier for me to hit my project goals." | | | All ControlChaos store courses are conducted by Ken Schwaber Attendees will be thoroughly trained in the Scrum methodology and software. |
|
http://www.controlchaos.com
(438 words)
|
|
| |
| | Courses Developed and Taught by Prof. Janusz Laski |
| | The course is an introduction to a systematic software development | | | software artifacts at various stages of its development in a precise, | | | C.B.Jones, Systematic Software Development Using VDM, Prentice-Hall, 1990 |
|
http://www.cse.secs.oakland.edu/edslabs/about/course437_537.asp
(294 words)
|
|
| |
| | Systems Development Methods/Method Engineering |
| | J.B. Thompson, and H.M. Edwards., STePS.' An Integrative Development Method Conference on the Theory, Use and Integrative Aspects Of IS Methodologies, British Computer Society Information Systems Methodologies Specialist Group, Edinburgh, September, 1993,. | | | C.Hardy, J.B. Thompson, and H.M. Edwards., Structured Methods: Development, Evolution and Problems In Use. | | | C.J.Hardy, S.C.Stobart, J.B. Thompson, and H.M. Edwards., A Comparison of the Results of Two Surveys on Software Development and the Role of CASE in the UK. |
|
http://osiris.sunderland.ac.uk/~cs0hed/SDM.html
(1496 words)
|
|
| |
| | Charles Babbage Institute: Software History Bibliography, L-M |
| | IBM Journal of Research and Development 25 (1981): 549-61. | | | IBM Journal of Research and Development 25 (September 1981): 504-19. | | | Lentz, J.J. “A New Approach to Small-Computer Programming and Control.” IBM Journal of Research and Development 2 (January 1958): 72-83. |
|
http://www.cbi.umn.edu/shp/shplm.html
(4573 words)
|
|
| |
| | VDM specification language |
| | VDM Specification Language (VDM-SL, Meta-IV) is a model-oriented specification language, upon which the Vienna Development Method is based. | | | ["Systematic Software Development Using VDM", C.B. Jones, P-H 1989]. | | | The only English translation hitherto given of German translation in Thurneysen's Sagen aus dem alten Irland which may which, however, are sometimes nearer the original than Thurneysen's known version of the tale given by the Glenn Masain manuscript and its. |
|
http://www.termsdefined.net/vd/vdm-specification-language.html
(186 words)
|
|
| |
| | A Methodology And Tool Set For Supporting The Development Of Graphical User Interfaces (Abstract) |
| | A methodology and tool set for building application (assumed to be inherently non-graphical) software with graphical user interface is described. | | | An example from CIM (Computer Integrated Manufacturing) is used to illustrate the methodology presented here. | | | A Methodology And Tool Set For Supporting The Development Of Graphical User Interfaces |
|
http://www.eg.org/EG/CGF/Volume10/issue1/v10i1pp37-47_abstract.html
(157 words)
|
|
| |
| | Using the Vienna Development Method (VDM) to Formalize a Communication Protocol |
| | This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM. | | | The Software Engineering Institute (SEI) is a federally funded research and development center sponsored by the U.S. Department of Defense and operated by Carnegie Mellon University. | | | Using the Vienna Development Method (VDM) to Formalize a Communication Protocol |
|
http://www.sei.cmu.edu/publications/documents/88.reports/88.tr.026.html
(130 words)
|
|
| |
| | VDM |
| | The purpose of this article is to improve the currently intuitive decomposition and stepwise refinement process in VDM by guiding it with the Structured Analysis and design refinement heuristics. | | | Because the specification phase is early in the life cycle, errors in this phase will become deeply embedded in the program structure and accordingly will be costly and difficult to find and correct. | | | A methodical, unambiguous, and logically rigorous approach to developing and expressing specifications, especially for large systems, is needed to decompose specifications in such a way that specifications can be shown to be accomplished by sub-specifications. |
|
http://www.cs.gsu.edu/~matrag/research/papers/swe/a-Vdm.html
(185 words)
|
|
| |
| | Tantara: ISO standards for the software industry |
| | Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language | | | Quality management and quality assurance standards -- Part 3: Guidelines for the application of ISO 9001:1994 to the development, supply, installation and maintenance of computer software | | | Information technology -- Programming languages, their environments and system software interfaces -- Programming language ISLISP |
|
http://www.tantara.ab.ca/iso_stds.htm
(691 words)
|
|
| |
| | Adelard: Software Development and Assessment |
| | A paper on the development of DUST-EXPERT is available here. | | | formal methods to a safety related advisory system | | | This is based on: a formal specification using the Vienna Development Method (VDM); hand proofs of safety properties on the VDM specification; execution of the VDM specification using the IFAD Toolbox; implementation in LPA Prolog; and a statistically significant quantity of testing of the integrated system. |
|
http://www.adelard.com/software/dustexpert/index.htm
(133 words)
|
|
| |
| | eWiC: The Formal Development of a Windows Interface |
| | This paper describes an approach to the use of the formal method VDM in the design and implementation of Microsoft WindowsTM interfaces. | | | eWiC: The Formal Development of a Windows Interface | | | This approach evolved during the development of Dust-ExpertTM, a Windows-based system for providing design advice on the prevention and control of dust explosions, developed for the Health and Safety Executive (HSE) and now being marketed by the Institution of Chemical Engineers (IChemE). |
|
http://ewic.bcs.org/conferences/1998/3rdfacs/papers/paper6.htm
(133 words)
|
|
| |
| | eBay.co.uk - Books Manuals, Computing, dummies, Programming Development items at low prices |
| | Wireless Web Development - WAP 2.0 HTML HDML Book | | | eBay.co.uk - Books Manuals, Computing, dummies, Programming Development items at low prices | | | XML: A Beginner's Guide Copmuter Programming WEB Book |
|
http://computers.listings.ebay.co.uk/Books_W0QQfromZR13QQlopgZ9QQsacategoryZ3516QQsasaleclassZ1QQsocmdZListingItemListQQsocolumnlayoutZ1QQsosortorderZ1QQsosortpropertyZ1
(372 words)
|
|
| |
| | Program specification |
| | A program specification is the definition of what a computer program is expected to do. | | | It can be informal, in which case it can be considered as a blueprint or user manual from a developer point of view, or formal, in which case it has a definite meaning defined in mathematical or programmatic terms. | | | If one had but a single glance to give the world, one should gaze on Istanbul. |
|
http://www.brainyencyclopedia.com/encyclopedia/p/pr/program_specification.html
(114 words)
|
|
| |
| | eWiC: The Application of Structured Analysis/Formal Design Method to a Case Study from the Nuclear Industry |
| | BNFL is tracking, and building on, the successes of these groups as part of a programme of work with the University of Manchester to produce an integrated software development method suitable for wide-spread use within BNFL. | | | The Yourdon Structured Method and the Vienna Development Method have been used together, in various ways, by several R and D groups in the industry. | | | This paper looks at the method proposed in this research and the results of application to a realistic case study. |
|
http://ewic.bcs.org/conferences/1996/methodsintegration/papers/paper15.htm
(124 words)
|
|
| |
| | AACC 2006 Annual Meeting and Clinical Lab Exposition |
| | BIO Executive Training Program - Advanced Business Development Course | | | BIO Executive Training Program - Business Development Basics Course | | | Clinical Trials for Medical Devices: Design and Development |
|
http://www.cato.com/fyi/calendar.xml
(615 words)
|
|
| |
| | Vizon SciTec Inc. Contract Science & Technologies Vizon SciTec Inc. |
| | Vizon SciTec Inc. is an integrated contract science and technology development company with a focus on chemical and biological technology development. | | | Greenhouse Gas Emissions, Energy Efficiency, Energy Management, Ocean Energy Development... | | | Technology Assessment, Bench Scale / Pilot Scale Development, Intellectual Property Management... |
|
http://www.vizonscitec.com
(164 words)
|
|
| |
| | Advanced Chemistry Development Homepage |
| | Copyright © 1996 - 2005 Advanced Chemistry Development All rights reserved | | | 21, 2005 - ACD/Labs Announces Manager of Business Development in North America |
|
http://www.acdlabs.com
(140 words)
|
|
| |
| | The VDM Bibliography |
| | You may use Lucene syntax, available fields are: | | | This is a bibliography on the Vienna Development Method (VDM) | | | Up: Bibliographies on Software/Hardware Engineering and Formal Methods |
|
http://liinwww.ira.uka.de/bibliography/SE/vdm.html
(87 words)
|
|
| |
| | Workrelated airway diseases |
| | Methods that can be used in field studies of nasal exposure-related problems are insufficiently developed. | | | There is a lack of practically used methods to evaluate acute effects of exposure to irritants in various groups in the field. | | | These problems create a lot of diagnosing problems and are time consuming to handle for the society/doctors and cost the society very much to handle. |
|
http://www.phs.ki.se/evaluationphs/Work_airways.htm
(2724 words)
|
|
| |
| | CBJ Research - Other |
| | VDM (for further information see vdm-forum.) VDM is now used in industry and is taught commercially. | | | Edited by D. Bjørner and C. Jones; Published by Springer-Verlag as Lecture Notes in Computer Science (Volume 61) in 1978. | | | I have an interest in the history of formal methods and at the invitation of Enciclopedia Italiana (!) wrote Program Verification, a technical report version is available but for copyright reasons only in hard copy. |
|
http://www.cs.ncl.ac.uk/people/cliff.jones/home.formal/research-other.html
(304 words)
|
|
| |
| | Discrete event process controller synthesis using VDM/sup ++/ |
| | It defines a systematic method for interpreting declarative requirements statements in real-time temporal logic, and for the construction of abstract and concrete VDM/sup ++/ specifications which implement the formalised requirements. | | | The paper describes approaches to the specification and design of a controller for a gas burner system using VDM/sup ++/. | | | The central contribution of the paper is a primarily mechanical process of refinement from abstract declarative specifications of a control problem to implemented controllers in Ada95. |
|
http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230129abs.htm
(166 words)
|
|
| |
| | DBLP Record 'conf/fm/Bjorner78' |
| | @proceedings{DBLP:conf/fm/1978, editor = {Dines Bj{\o}rner and Cliff B. Jones}, title = {The Vienna Development Method: The Meta-Language}, booktitle = {The Vienna Development Method: The Meta-Language}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {61}, year = {1978}, isbn = {3-540-08766-4}, bibsource = {DBLP, http://dblp.uni-trier.de} } | | | @inproceedings{DBLP:conf/fm/Bjorner78, author = {Dines Bj{\o}rner}, title = {Programming in the META-Language: A Tutorial.}, booktitle = {The Vienna Development Method: The Meta-Language}, year = {1978}, pages = {24-217}, crossref = {DBLP:conf/fm/1978}, bibsource = {DBLP, http://dblp.uni-trier.de} } |
|
http://dblp.uni-trier.de/rec/bibtex/conf/fm/Bjorner78
(84 words)
|
|
|
