|
Z User Group
The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England. Meetings and conferences ZUG has organised a series of Z User Meetings approximately every 18 months initially. From 2000, these became the ZB Conference (jointly with the B-Method, co-organized with APCB), and from 2008 the ABZ Conference (with abstract state machines as well). In 2010, the ABZ Conference also includes Alloy, a Z-like specification language with associated tool support. The Z User Group participated at the ''FM'99 World Congress on Formal Methods'' in Toulouse, France, in 1999. The group and the associated Z notation have been studied as a community of practice. List of proceedings The following proceedings were produced by the Z User Group: * Bowen, J.P.; Nicholls, J ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Z Notation
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial published "Data Semantics". He used a notation that would later be taught in the University of Grenoble until the end of the 1980s. While at EDF ( Électricité de France), working with Bertrand Meyer, Abrial also worked on developing Z. The Z notation is used in the 1980 book ''Méthodes de programmation''. Z was originally proposed by Abrial in 1977 with the help of Steve Schuman and Bertrand Meyer. It was developed further at the Programming Research Group at Oxford University, where Abrial worked in the early 1980s, having arrived at Oxford in September 1979. Abrial has said that Z is so named "Because it is the ultimate language!" although the name " Zermelo" is also associated with the Z notation through its use of Zermelo–Frae ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
APCB
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. Overview B was originally developed in the 1980s by Jean-Raymond Abrial in France and the UK. B is related to the Z notation (also originated by Abrial) and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe (such as the automatic Paris Métro lines 14 and 1 and the Ariane 5 rocket). It has robust, commercially available tool support for specification, design, proof and code generation. Compared to Z, B is slightly more low-level and more focused on refinement to code rather than just formal specification — hence it is easier to correctly implement a specification written in B than one in Z. In particular, there is good tool support for this. The same language is used in specification, design and programming. M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Organizations Established In 1992
An organization or organisation (Commonwealth English; see spelling differences) is an entity—such as a company, or corporation or an institution (formal organization), or an association—comprising one or more people and having a particular purpose. Organizations may also operate secretly or illegally in the case of secret societies, criminal organizations, and resistance movements. And in some cases may have obstacles from other organizations (e.g.: MLK's organization). What makes an organization recognized by the government is either filling out incorporation or recognition in the form of either societal pressure (e.g.: Advocacy group), causing concerns (e.g.: Resistance movement) or being considered the spokesperson of a group of people subject to negotiation (e.g.: the Polisario Front being recognized as the sole representative of the Sahrawi people and forming a partially recognized state.) Compare the concept of social groups, which may include non-organiza ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1992 Establishments In The United Kingdom
Year 199 ( CXCIX) was a common year starting on Monday of the Julian calendar. At the time, it was sometimes known as year 952 ''Ab urbe condita''. The denomination 199 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * Mesopotamia is partitioned into two Roman provinces divided by the Euphrates, Mesopotamia and Osroene. * Emperor Septimius Severus lays siege to the city-state Hatra in Central-Mesopotamia, but fails to capture the city despite breaching the walls. * Two new legions, I Parthica and III Parthica, are formed as a permanent garrison. China * Battle of Yijing: Chinese warlord Yuan Shao defeats Gongsun Zan. Korea * Geodeung succeeds Suro of Geumgwan Gaya, as king of the Korean kingdom of Gaya (traditional date). By topic Religion * Pope Zephyrinus succeeds Pope Victor I, as the 15th pope. Births Valerian Roman ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic in computer science, logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Uses Formal methods can be applied at various points through the software development process, development process. Specification Formal methods may be used to give a formal description of the system to be developed, at whatever level of detail desired. F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association De Pilotage Des Conférences B
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. Overview B was originally developed in the 1980s by Jean-Raymond Abrial in France and the UK. B is related to the Z notation (also originated by Abrial) and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe (such as the automatic Paris Métro lines 14 and 1 and the Ariane 5 rocket). It has robust, commercially available tool support for specification, design, proof and code generation. Compared to Z, B is slightly more low-level and more focused on refinement to code rather than just formal specification — hence it is easier to correctly implement a specification written in B than one in Z. In particular, there is good tool support for this. The same language is used in specification, design and programming. M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
BCS-FACS
BCS-FACS is the BCS ''Formal Aspects of Computing Science'' Specialist Group. Overview The FACS group, inaugurated on 16 March 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal, '' Formal Aspects of Computing'', published by Springer, and a more informal ''FACS FACTS'' newsletter. The group celebrated its 20th anniversary with a meeting at the Royal Society in London in 1998, with presentations by four eminent computer scientists, Mike Gordon, Tony Hoare, Robin Milner and Gordon Plotkin, all Fellows of the Royal Society. From 2002 to 2008 and since 2013 again, the Chair of BCS-FACS has been Jonathan Bowen. Jawed Siddiqi was chair during 2008–2013. In December 2002, BCS-FACS organized a conference on the ''Formal Aspects of Security'' (FASec'02) at Royal Holloway, University of London. In 2004, FACS organized a major event at London South Bank University to celebrate its own 25th anniver ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
FACS FACTS
BCS-FACS is the British Computer Society, BCS ''Formal Aspects of Computing Science'' Specialist Group. Overview The FACS group, inaugurated on 16 March 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal, ''Formal Aspects of Computing'', published by Springer Science+Business Media, Springer, and a more informal ''FACS FACTS'' newsletter. The group celebrated its 20th anniversary with a meeting at the Royal Society in London in 1998, with presentations by four eminent computer scientists, Michael J. C. Gordon, Mike Gordon, Tony Hoare, Robin Milner and Gordon Plotkin, all Fellow of the Royal Society, Fellows of the Royal Society. From 2002 to 2008 and since 2013 again, the Chair of BCS-FACS has been Jonathan Bowen. Jawed Siddiqi was chair during 2008–2013. In December 2002, BCS-FACS organized a conference on the ''Formal Aspects of Security'' (FASec'02) at Royal Holloway, University of London ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet. For his work on maintaining DBLP, Michael Ley received an award from the Association for Computing Machinery (ACM) and the VLDB Endowment Special Recognition Award in 1997. Furthermore, he was awarded the ACM Distinguished Service Award for "creating, developing, and curating DBLP" in 2019. ''DBLP'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second-largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, op ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Community Of Practice
A community of practice (CoP) is a group of people who "share a concern or a passion for something they do and learn how to do it better as they interact regularly". The concept was first proposed by cognitive anthropologist Jean Lave and educational theorist Etienne Wenger in their 1991 book ''Situated Learning''. Wenger significantly expanded on this concept in his 1998 book ''Communities of Practice''. A CoP can form around members' shared interests or goals. Through being part of a CoP, the members learn from each other and develop their identities. CoP members can engage with one another in physical settings (for example, in a lunchroom at work, an office, a factory floor), but CoP members are not necessarily co-located. They can form a virtual community of practice (VCoP) where the CoP is primarily located in an online community such as a discussion board, newsgroup, or on a social networking service. Communities of practice have existed for as long as people have ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *'' Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *'' Lecture Notes in Physics'' *'' Lecture Notes in Mathematics'' *'' Electronic Workshops in Computing'', published by the British Computer Society image:Maurice Vincent Wilkes 1980 (3).jpg, Sir Maurice Wilkes served as the first President of BCS in 1957. The British Computer Society (BCS), branded BCS, The Chartered Institute for IT, since 2009, is a professional body and a learned ... References External links * Academic journals established in 1973 Computer science books Series of non-fiction books ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
