|
Dines Bjørner
Dines Bjørner (born 4 October 1937) 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). He played a leading role in the EU ESPRIT ProCoS project on ''Provably Correct Systems'' during 1989–1995. 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 beca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Odense
Odense ( , , ) is the third largest city in Denmark (after Copenhagen and Aarhus) and the largest city on the island of Funen. As of 1 January 2025, the city proper had a population of 185,480 while Odense Municipality had a population of 210,803, 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 2022. By road, Odense is located north of Svendborg, to the south of Aarhus and to the southwest of the capital Copenhagen. The city was the seat of Odense County until 1970, and Funen County from 1970 until 1 January 2007, when Funen County became part of the Region of Southern Denmark. Odense has close associations with Hans Christian ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elsevier
Elsevier ( ) is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell (journal), Cell'', the ScienceDirect collection of electronic journals, ''Trends (journals), Trends'', the ''Current Opinion (Elsevier), Current Opinion'' series, the online citation database Scopus, the SciVal tool for measuring research performance, the ClinicalKey search engine for clinicians, and the ClinicalPath evidence-based cancer care service. Elsevier's products and services include digital tools for Data management platform, data management, instruction, research analytics, and assessment. Elsevier is part of the RELX Group, known until 2015 as Reed Elsevier, a publicly traded company. According to RELX reports, in 2022 Elsevier published more than 600,000 articles annually in over 2,800 journals. As of 2018, its archives contained over 17 million documents and 40,000 Ebook, e-books, with over one b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IEEE
The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) organization, 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE has a corporate office in New York City and an operations center in Piscataway, New Jersey. The IEEE was formed in 1963 as an amalgamation of the American Institute of Electrical Engineers and the Institute of Radio Engineers. History The IEEE traces its founding to 1884 and the American Institute of Electrical Engineers. In 1912, the rival Institute of Radio Engineers was formed. Although the AIEE was initially larger, the IRE attracted more students and was larger by the mid-1950s. The AIEE and IRE merged in 1963. The IEEE is headquartered in New York City, but most business is done at the IEEE Operations Center in Piscataway, New Jersey, opened in 1975. The Australian Section of the IEEE existed between 1972 and 1985, after which it s ... [...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 tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Czech Republic
The Czech Republic, also known as Czechia, and historically known as Bohemia, is a landlocked country in Central Europe. The country 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 Humid continental climate, 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 Estate of the Holy Roman Empire in 1002 and became Kingdom of Bohemia, a kingdom in 1198. Following the Battle of Mohács in 1526, all of the Lands of the Bohemian Crown were gradually integrated into the Habsburg monarchy. Nearly a hundred years later, the Protestantism, Protestant Bohemian Revolt led to the Thirty Years' War. After the Battle of White ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brno
Brno ( , ; ) is a Statutory city (Czech Republic), city in the South Moravian Region of the Czech Republic. Located at the confluence of the Svitava (river), Svitava and Svratka (river), Svratka rivers, Brno has about 403,000 inhabitants, making it the second-largest city in the Czech Republic after the capital, Prague, and one of the List of cities in the European Union by population within city limits, 100 largest cities of the European Union. The Brno metropolitan area has approximately 730,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 Judiciary of the Czech Republic, Czech judiciary, with the seats of the Constitutional Court of the Czech Republic, Constitutional Court, the Supreme Court of the Czech Republic, Supreme Court, the Supreme Administrative Court of the Czech Republic, Supreme Administrative Court, and the Supreme Public Prosecutor's Office, and a number of state ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Masaryk University
Masaryk University (MU) (; ) is the second largest university in the Czech Republic, a member of the Compostela Group and the Utrecht Network. Founded in 1919 in Brno, 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. The Prime Minister of the Czech Republic Petr Fiala has been working part-time at Masaryk University for the entire duration of his mandate. He should therefore devote eight hours a week – thirty-two hours a month – to work for this university. Jan Fischer responded to this as follows: "I also cannot imagine that someone, in ad ... [...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 chai ... [...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, op ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Engineering
Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principles and computer programming expertise to develop software systems that meet user needs. The terms ''programmer'' and ''coder'' overlap ''software engineer'', but they imply only the construction aspect of a typical software engineer workload. A software engineer applies a software development process, which involves defining, Implementation, implementing, Software testing, testing, Project management, managing, and Software maintenance, maintaining software systems, as well as developing the software development process itself. History Beginning in the 1960s, software engineering was recognized as a separate field of engineering. The development of software engineering was seen as a struggle. Problems included software that was over ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Masterpiece
A masterpiece, , or ; ; ) 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 by an apprentice to obtain full membership, as a "master", 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 work ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Macau
Macau or Macao is a special administrative regions of China, special administrative region of the People's Republic of China (PRC). With a population of about people and a land area of , it is the most List of countries and dependencies by population density, densely populated region in the world. Formerly a Portuguese Empire, Portuguese colony, the territory of Portuguese Macau was first leased to Portugal by the Ming dynasty as a trading post in 1557. Portugal paid an annual rent and administered the territory under Chinese sovereignty until 1887, when Portugal gained perpetual colonial rights with the signing of the Sino-Portuguese Treaty of Peking. The colony remained under Portuguese rule until the 1999 handover to China. Macau is a Special administrative regions of China, 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 Port ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
