|
Dines Bjørner
__NOTOC__ Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. Bjørner was a professor at the Technical University of Denmark (DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the United Nations University International Institute for Software Technology ( UNU-IIST), Macau, in 1992 and was its first director. His ''magnum opus'' on software engineering (three volumes) appeared in 2005/6. To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Odense
Odense ( , , ) is the third largest city in Denmark (behind Copenhagen and Aarhus) and the largest city on the island of Funen. As of 1 January 2022, the city proper had a population of 180,863 while Odense Municipality had a population of 205,978, making it the fourth largest municipality in Denmark (behind Copenhagen, Aarhus and Aalborg municipalities). Eurostat and OECD have used a definition for the Metropolitan area of Odense (referred to as a ''Functional urban area''), which includes all municipalities in the Province (Danish: Provinces of Denmark, ''landsdel'') of Funen (Danish: ''Fyn''), with a total population of 504,066 as of 1 July 2022https://appsso.eurostat.ec.europa.eu/nui/show.do?dataset=urb_lpop1&lang=en&fbclid=IwAR2SFTy1xGM8VcLHijhmSDQWd9Fr3TYx7JlKxg81_09e-KzEtmEgjL5L2UU By road, Odense is located north of Svendborg, to the south of Aarhus and to the southwest of Copenhagen. The city was the seat of Odense County until 1970, and Funen County from 1970 unt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and 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 calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specification may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kongens Lyngby
Kongens Lyngby (, Danish for "the King's Heather Town"; short form Lyngby) is the seat and commercial centre of Lyngby-Taarbæk Municipality in the northern suburbs of Copenhagen, Denmark. Lyngby Hovedgade is a busy shopping street and the site of a branch of Magasin du Nord as well as Lyngby Storcenter. The district is also home to several major companies, including COWI A/S, Bang & Olufsen, ICEpower a/s and Microsoft. The Technical University of Denmark relocated to Lyngby from central Copenhagen in the 1970s. Lyngby station is located on the Hillerød radial of Copenhagen's S-train network. History The name Kongens Lyngby is first recorded in 1348. At that time large parts of North Zealand belonged to the Catholic Church (represented by Roskilde Cathedral and the name Lyngby was associated with several places. Store Lyngby belonged to Arresø church. "Our" Lyngby, on the other hand, was crown land. It may therefore have been to distinguish it from these other places that th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Czech Republic
The Czech Republic, or simply Czechia, is a landlocked country in Central Europe. Historically known as Bohemia, it is bordered by Austria to the south, Germany to the west, Poland to the northeast, and Slovakia to the southeast. The Czech Republic has a hilly landscape that covers an area of with a mostly temperate continental and oceanic climate. The capital and largest city is Prague; other major cities and urban areas include Brno, Ostrava, Plzeň and Liberec. The Duchy of Bohemia was founded in the late 9th century under Great Moravia. It was formally recognized as an Imperial State of the Holy Roman Empire in 1002 and became a kingdom in 1198. Following the Battle of Mohács in 1526, the whole Crown of Bohemia was gradually integrated into the Habsburg monarchy. The Protestant Bohemian Revolt led to the Thirty Years' War. After the Battle of White Mountain, the Habsburgs consolidated their rule. With the dissolution of the Holy Empire in 1806, the Cro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brno
Brno ( , ; german: Brünn ) is a city in the South Moravian Region of the Czech Republic. Located at the confluence of the Svitava and Svratka rivers, Brno has about 380,000 inhabitants, making it the second-largest city in the Czech Republic after the capital, Prague, and one of the 100 largest cities of the EU. The Brno metropolitan area has almost 700,000 inhabitants. Brno is the former capital city of Moravia and the political and cultural hub of the South Moravian Region. It is the centre of the Czech judiciary, with the seats of the Constitutional Court, the Supreme Court, the Supreme Administrative Court, and the Supreme Public Prosecutor's Office, and a number of state authorities, including the Ombudsman, and the Office for the Protection of Competition. Brno is also an important centre of higher education, with 33 faculties belonging to 13 institutes of higher education and about 89,000 students. Brno Exhibition Centre is among the largest exhibition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Masaryk University
Masaryk University (MU) ( cs, Masarykova univerzita; la, Universitas Masarykiana Brunensis) is the second largest university in the Czech Republic, a member of the Compostela Group and the Utrecht Network. Founded in 1919 in Brno as the second Czech university (after Charles University established in 1348 and Palacký University existent in 1573–1860), it now consists of ten faculties and 35,115 students. It is named after Tomáš Garrigue Masaryk, the first president of an independent Czechoslovakia as well as the leader of the movement for a second Czech university. In 1960 the university was renamed ''Jan Evangelista Purkyně University'' after Jan Evangelista Purkyně, a Czech biologist. In 1990, following the Velvet Revolution it regained its original name. Since 1922, over 171,000 students have graduated from the university. History Masaryk University was founded on 28 January 1919 with four faculties: Law, Medicine, Science, and Arts. Tomáš Garrigue Masaryk, pro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ForTIA
Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in scope. FME operates under Dutch law. Activities include or have included: * Dissemination of research findings and industrial experience through conferences (every 18 months) and sponsored events; * Development of information resources for educators; * Networking for commercial practitioners through ForTIA ( Formal Techniques Industry Association). The Chair of FME is John Fitzgerald of the University of Newcastle upon Tyne, UK. ForTIA The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of formal methods under the umbrella organization of ''Formal Methods Europe''. It was founded in 2003 through the initial efforts of Dines Bjørner and was cha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
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, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Engineering
Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' programmer'' is sometimes used as a synonym, but may also lack connotations of engineering education or skills. Engineering techniques are used to inform the software development process which involves the definition, implementation, assessment, measurement, management, change, and improvement of the software life cycle process itself. It heavily uses software configuration management which is about systematically controlling changes to the configuration, and maintaining the integrity and traceability of the configuration and code throughout the system life cycle. Modern processes use software versioning. History Beginning in the 1960s, software engineering was seen as its own type of engineering. Additionally, the development of soft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Masterpiece
A masterpiece, ''magnum opus'' (), or ''chef-d’œuvre'' (; ; ) in modern use is a creation that has been given much critical praise, especially one that is considered the greatest work of a person's career or a work of outstanding creativity, skill, profundity, or workmanship. Historically, a "masterpiece" was a work of a very high standard produced to obtain membership of a guild or academy in various areas of the visual arts and crafts. Etymology The form ''masterstik'' is recorded in English or Scots in a set of Aberdeen guild regulations dated to 1579, whereas "masterpiece" is first found in 1605, already outside a guild context, in a Ben Jonson play. "Masterprize" was another early variant in English. In English, the term rapidly became used in a variety of contexts for an exceptionally good piece of creative work, and was "in early use, often applied to man as the 'masterpiece' of God or Nature". History Originally, the term ''masterpiece'' referred to a piece of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Macau
Macau or Macao (; ; ; ), officially the Macao Special Administrative Region of the People's Republic of China (MSAR), is a city and special administrative region of China in the western Pearl River Delta by the South China Sea. With a population of about 680,000 and an area of , it is the most densely populated region in the world. Formerly a Portuguese colony, the territory of Portuguese Macau was first leased to Portugal as a trading post by the Ming dynasty in 1557. Portugal paid an annual rent and administered the territory under Chinese sovereignty until 1887. Portugal later gained perpetual colonial rights in the Sino-Portuguese Treaty of Peking. The colony remained under Portuguese rule until 1999, when it was transferred to China. Macau is a special administrative region of China, which maintains separate governing and economic systems from those of mainland China under the principle of " one country, two systems".. The unique blend of Portuguese and Chinese arc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
UNU-IIST
The United Nations University International Institute for Software Technology (UNU-IIST; ; Portuguese: ''Instituto Internacional para Tecnologia de Programação da Universidade das Nações Unidas'') was a United Nations University Research Training Centre based in Macau, China. History During 1987–1989, United Nations University conducted two studies regarding the need for a research and training centre for computing in the developing nations. The studies led to the decision of the Council of the UNU to establish in Macau the United Nations University International Institute for Software Technology (UNU-IIST), which was founded on 12 March 1991 and opened its door in July 1992.https://staff.fnwi.uva.nl/c.a.middelburg/unu-iist.pdf The Macao authorities also supply the institute with its office premises, located in a heritage building Casa Silva Mendes, and subsidize fellow accommodation. As part of the United Nations, the institute was to address the pressing global problem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
