|
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] |
