|
Rodin Tool
The Rodin tool is a software tool for formal modelling in Event-B. It was developed as part of several collaborative European Union projects, including initially the RODIN project (2004–2007). Overview Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B. Two characteristics of the Rodin tool are its ease of use and its extensibility. The tool focuses on modelling. It allows the user to modify models and try out variations of a model. The tool is also extensible. This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead of demanding the opposite. There is an associated Event-B wik ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jean-Raymond Abrial
Jean-Raymond Abrial (6 November 1938 – 26 May 2025) was a French computer scientist and inventor of the Z and B formal methods. Abrial was a student at the École Polytechnique (class of 1958). Abrial's 1974 paper ''Data Semantics'' laid the foundation for a formal approach to Data Models; although not adopted directly by practitioners, it directly influenced all subsequent models from the Entity-Relationship Model through to RDF. J.-R. Abrial is the father of the Z notation (typically used for formal specification of software), during his time at the Programming Research Group under Prof. Tony Hoare within the Oxford University Computing Laboratory (now Oxford University Department of Computer Science), arriving in 1979 and sharing an office and collaborating with Cliff Jones. He later initiated the B-Method, with better tool-based software development support for refinement from a high-level specification to an executable program, including the Rodin tool. These ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Southampton
The University of Southampton (abbreviated as ''Soton'' in post-nominal letters) is a public university, public research university in Southampton, England. Southampton is a founding member of the Russell Group of research-intensive universities in the United Kingdom. The university has seven campuses. The Highfield Campus, main campus is located in the Highfield, Hampshire, Highfield area of Southampton and is supplemented by four other campuses within the city: Avenue Campus housing the School of Humanities, the National Oceanography Centre, Southampton, National Oceanography Centre housing courses in Ocean and Earth Sciences, Southampton General Hospital offering courses in Medicine and Health Sciences, and Boldrewood Campus housing an engineering and maritime technology campus and Lloyd's Register. In addition, the university operates a Winchester School of Art, School of Art based in nearby Winchester and an international branch in Malaysia offering courses in Engineering ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2007 Software
7 (seven) is the natural number following 6 and preceding 8. It is the only prime number preceding a cube. As an early prime number in the series of positive integers, the number seven has symbolic associations in religion, mythology, superstition and philosophy. The seven classical planets resulted in seven being the number of days in a week. 7 is often considered lucky in Western culture and is often seen as highly symbolic. Evolution of the Arabic digit For early Brahmi numerals, 7 was written more or less in one stroke as a curve that looks like an uppercase vertically inverted (ᒉ). The western Arab peoples' main contribution was to make the longer line diagonal rather than straight, though they showed some tendencies to making the digit more rectilinear. The eastern Arab peoples developed the digit from a form that looked something like 6 to one that looked like an uppercase V. Both modern Arab forms influenced the European form, a two-stroke form consisting of a ho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SourceForge
SourceForge is a web service founded by Geoffrey B. Jeffery, Tim Perdue, and Drew Streib in November 1999. SourceForge provides a centralized software discovery platform, including an online platform for managing and hosting open-source software projects, and a directory for comparing and reviewing B2B software that lists over 104,500 business software titles. It provides source code repository hosting, bug tracking, mirroring of downloads for load balancing, a wiki for documentation, developer and user mailing lists, user-support forums, user-written reviews and ratings, a news bulletin, micro-blog for publishing project updates, and other features. SourceForge was one of the first to offer this service free of charge to open-source projects. Since 2012, the website has run on Apache Allura software. SourceForge offers free hosting and free access to tools for developers of free and open-source software. , the SourceForge repository claimed to host more than 502,00 ... [...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] |
He Jifeng
He Jifeng (, born August 1943) is a Chinese computer scientist. He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was an instructor at East China Normal University. During 1980–81, he was a visiting scholar at Stanford University and the University of San Francisco in California, United States. From 1984 to 1998, He Jifeng was a senior research fellow at the Programming Research Group in the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science). He worked extensively on formal aspects of computing science. In particular, he worked with Prof. Sir Tony Hoare, latterly on Unifying Theories of Programming, resulting in a book of that name. Since 1986, He Jifeng has been professor of computer science at East China Normal University in Shanghai. In 1996, he also became professor of computer science at Shanghai Jiao Tong University. In 1998, he became a senior research fellow at the In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zhiming Liu (computer Scientist)
Zhiming Liu (, born 10 October 1961, Hebei, China) is a computer scientist. He studied mathematics in Luoyang, Henan in China and obtained his first degree in 1982. He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis was on ''Fault-Tolerant Programming by Transformations''. After his PhD, Zhiming Liu worked as a guest scientist at the Department of Computer Science, Technical University of Denmark, Lyngby in 1991–1992. Then he returned to the University of Warwick and worked as a postdoctoral research fellow on formal techniques in real-time and fault-tolerant systems till October 1994 when he became a university lecturer in computer science at the University of Leicester (UK). He worked at UNU-IIST during 2002–2013 at UNU-IIST as research fellow and senior research fellow. He joined Birmingham City University (UK) in October 2013 as t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ResearchGate
ResearchGate is a European commercial social networking site for scientists and researchers to share papers, ask and answer questions, and find collaborators. According to a 2014 study by ''Nature'' and a 2016 article in ''Times Higher Education'', it is the largest academic social network in terms of active users, although other services have more registered users, and a 2015–2016 survey suggests that almost as many academics have Google Scholar profiles. While reading articles does not require registration, people who wish to become site members need to have an email address at a recognized institution or to be manually confirmed as a published researcher in order to sign up for an account. Articles are free to read by visitors, however additional features (such as job postings or advertisements) are accessible only as a paid subscription. Members of the site each have a user profile and can upload research output including papers, data, chapters, negative results, patents, r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Düsseldorf
A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law and notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A History of the University in Europe: Volume 1, Universities in the Midd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Type Checker
In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a ''type'' (for example, integer, floating point, string) to every '' term'' (a word, phrase, or other set of symbols). Usually the terms are various language constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term. Type systems formalize and enforce the otherwise implicit categories the programmer uses for algebraic data types, data structures, or other data types, such as "string", "array of float", "function returning boolean". Type systems are often specified as part of programming languages and built into interpreters and compilers, although the type system of a language can be extended by optional tools that perform added checks using the language's original type syntax and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
