 | This article has multiple issues. Please help improve it or discuss these issues on the talk page . (Learn how and when to remove these template messages) (Learn how and when to remove this template message)
|
The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering. [1]
Until 2002, SEFM was a workshop; it then became a full international conference. It is sponsored by the IEEE Computer Society. The 1st IEEE International Conferences on Software Engineering and Formal Methods (SEFM 2003) was held at Brisbane, Australia in September 2003. [2] Submissions originated from 22 different countries. As well as IEEE-CS, supporters for SEFM 2003 included the Australian Computer Society (ACS), Boeing Australia, and the Italian Embassy in Canberra.
The proceedings for the conference are published by the Springer Science+Business Media in LNCS since 2011. [3] Previously, the proceedings were published by IEEE. [4]
SEFM aims to bring together practitioners and researchers from academia, industry, and government, to advance the state of the art in formal methods, to help in their large-scale application in the software industry, and to encourage their integration with other practical software engineering methods.
The conferences are often held in the Asia and Pacific regions and specifically in developing countries. An important aim of the SEFM conferences is to encourage research cooperation between developing countries and industrialized countries. SEFM 2010 was in Pisa, Italy. [5] SEFM 2013 was in Madrid, Spain. [6] SEFM 2014 takes place in Grenoble, France [7]
The SEFM conference series is included on the DBLP online publications database. [8] Revised selected papers sometimes appear as special journal issues. [9]
Software engineering is the systematic application of engineering approaches to the development of software.
Information visualization or information visualisation is the study of visual representations of abstract data to reinforce human cognition. The abstract data include both numerical and non-numerical data, such as text and geographic information. It is related to data visualization, infographics, and scientific visualization. One definition is that it's information visualization when the spatial representation is chosen, whereas it's scientific visualization when the spatial representation is given.
Barry W. Boehm is an American software engineer, distinguished professor of computer science, industrial and systems engineering; the TRW Professor of Software Engineering; and founding director of the Center for Systems and Software Engineering at the University of Southern California. He is known for his many contributions to the area of software engineering.
Ivar Hjalmar Jacobson is a Swedish-American computer scientist and software engineer, known as major contributor to UML, Objectory, Rational Unified Process (RUP), aspect-oriented software development and Essence.
Professor Dines Bjørner is a Danish computer scientist.
Egon Börger is a German-born computer scientist based in Italy.
Software visualization or software visualisation refers to the visualization of information of and related to software systems—either the architecture of its source code or metrics of their runtime behavior—and their development process by means of static, interactive or animated 2-D or 3-D visual representations of their structure, execution, behavior, and evolution.
Patrick M. Hanrahan is an American computer graphics researcher, the Canon USA Professor of Computer Science and Electrical Engineering in the Computer Graphics Laboratory at Stanford University. His research focuses on rendering algorithms, graphics processing units, as well as scientific illustration and visualization. He has received numerous awards, including the 2019 Turing Award.
Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. It is one of the highest ranked conferences in computer science. For example, several important model checking techniques were published in CAV, such as Counterexample-Guided Abstraction Refinement and partial order reduction methods.
Orc is a concurrent, nondeterministic computer programming language created by Jayadev Misra at the University of Texas at Austin.
Colette Rolland is a French computer scientist and Professor of Computer Science in the department of Mathematics and Informatics at the University of Paris 1 Pantheon-Sorbonne, and a leading researcher in the area of information and knowledge systems, known for her work on meta-modeling, particularly goal modelling and situational method engineering.
Carlo Ghezzi is a professor and chair of software engineering at the Politecnico di Milano, Italy and an adjunct professor at the Università della Svizzera italiana (USI), Switzerland. At the Politecnico, he is the Rector's Delegate for research; he has been department chair, head of the PhD program, member of the academic senate and of the board of governors of Politecnico.
Bernd Bruegge is a German computer scientist, full professor at the Technische Universität München (TUM) and the head of the Chair for Applied Software Engineering. He is also an adjunct associate professor at Carnegie Mellon University (CMU) in Pittsburgh.
Axel van Lamsweerde is a Belgian computer scientist and Professor of Computing Science at the Universite catholique de Louvain, known for his work on requirements engineering and the development of the KAOS goal-oriented modeling language.
Hausi A. Müller is a Canadian computer scientist and software engineer. He is a professor of computer science at the University of Victoria, British Columbia, Canada and a Fellow of the Canadian Academy of Engineering.
Tore Dybå is a Norwegian scientist and software engineer in the fields of information systems and computer science. He has been a Chief Scientist at SINTEF ICT since 2003.
Subhasis Chaudhuri is an Indian electrical engineer and director at IIT Bombay. He is a former K. N. Bajaj Chair Professor at the Department of Electrical Engineering of the Indian Institute of Technology, Bombay. He is known for his pioneering studies on Computer vision and is an elected fellow of all the three major Indian science academies viz. the National Academy of Sciences, India, Indian Academy of Sciences, and Indian National Science Academy. He is also a fellow of Institute of Electrical and Electronics Engineers, and the Indian National Academy of Engineering. The Council of Scientific and Industrial Research, the apex agency of the Government of India for scientific research, awarded him the Shanti Swarup Bhatnagar Prize for Science and Technology, one of the highest Indian science awards for his contributions to Engineering Sciences in 2004.
Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, K framework, matching logic, and automated coinduction.
Sergiy A. Vilkomir was a Ukrainian-born computer scientist.
Hussein S. M. Zedan was a computer scientist of Egyptian descent, mainly based in the United Kingdom.
 | This formal methods-related article is a stub. You can help Wikipedia by expanding it. |
