Toshiba Corporation, commonly known as Toshiba and stylized as TOSHIBA, is a Japanese multinational conglomerate headquartered in Minato, Tokyo, Japan. Its diversified products and services include power, industrial and social infrastructure systems, elevators and escalators, electronic components, semiconductors, hard disk drives (HDD), printers, batteries, lighting, as well as IT solutions such as quantum cryptography which has been in development at Cambridge Research Laboratory, Toshiba Europe, located in the United Kingdom, now being commercialised. It was one of the biggest manufacturers of personal computers, consumer electronics, home appliances, and medical equipment. As a semiconductor company and the inventor of flash memory, Toshiba had been one of the top 10 in the chip industry until its flash memory unit was spun off as Toshiba Memory, later Kioxia, in the late 2010s.
David Lorge Parnas is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented programming today. He is also noted for his advocacy of precise documentation.
Peter Pin-Shan Chen is a Taiwanese American computer scientist. He is a (retired) distinguished career scientist and faculty member at Carnegie Mellon University and Professor Emeritus at LSU. He is known for the development of the entity–relationship model in 1976.
Friedrich Ludwig "Fritz" Bauer was a German pioneer of computer science and professor at the Technical University of Munich.
Domain engineering, is the entire process of reusing domain knowledge in the production of new software systems. It is a key concept in systematic software reuse and product line engineering. A key idea in systematic software reuse is the domain. Most organizations work in only a few domains. They repeatedly build similar systems within a given domain with variations to meet different customer needs. Rather than building each new system variant from scratch, significant savings may be achieved by reusing portions of previous systems in the domain to build new ones.
Edith Clarke was the first woman to be professionally employed as an electrical engineer in the United States, and the first female professor of electrical engineering in the country. She was the first woman to deliver a paper at the American Institute of Electrical Engineers, the first female engineer whose professional standing was recognized by Tau Beta Pi, and the first woman named as a Fellow of the American Institute of Electrical Engineers. She specialized in electrical power system analysis and wrote Circuit Analysis of A-C Power Systems.
The Bauhaus project is a software research project collaboration among the University of Stuttgart, the University of Bremen, and a commercial spin-off company Axivion formerly called Bauhaus Software Technologies. The Bauhaus project serves the fields of software maintenance and software reengineering.
The International Symposium on Computer Architecture (ISCA) is an annual academic conference on computer architecture, generally viewed as the top-tier in the field. Association for Computing Machinery's Special Interest Group on Computer Architecture and Institute of Electrical and Electronics Engineers Computer Society are technical sponsors.
Chandrasekaran Mohan is an Indian-born American computer scientist. He was born on 3 August 1955 in Tamil Nadu, India. After growing up there and finishing his undergraduate studies in Chennai, he moved to the United States in 1977 for graduate studies, naturalizing in 2007. In June 2020, he retired from being an IBM Fellow at the IBM Almaden Research Center after working at IBM Research for 38.5 years. Currently, he is a visiting professor at China's Tsinghua University. He is also an Honorary Advisor at the Tamil Nadu e-Governance Agency (TNeGA) in Chennai and an advisor at the Kerala Blockchain Academy in Kerala.
In software development, a feature model is a compact representation of all the products of the Software Product Line (SPL) in terms of "features". Feature models are visually represented by means of feature diagrams. Feature models are widely used during the whole product line development process and are commonly used as input to produce other assets such as documents, architecture definition, or pieces of code.
George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.
Peter William O'Hearn, formerly a research scientist at Meta, is a Distinguished Engineer at Lacework and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.
Klaus Pohl is a German computer scientist and Professor for Software Systems Engineering at the University of Duisburg-Essen, mainly known for his work in Requirements Engineering and Software product line engineering.
Bernd Johann Krämer is a German computer scientist and professor emeritus of the Faculty of Mathematics and Informatics of FernUniversität in Hagen.
Don Batory is an American computer scientist, currently the David Bruton, Jr. Centennial Professor at University of Texas at Austin.
Nenad Medvidović is a Professor of Computer Science and Informatics at the University of Southern California in Los Angeles, CA. He is a fellow of the IEEE and an ACM Distinguished Member. He was chair of ACM SIGSOFT and co-author of Software Architecture: Foundations, Theory, and Practice (2009). In 2008, he received the Most Influential Paper Award for a paper titled "Architecture-Based Runtime Software Evolution" published in the ACM/IEEE International Conference on Software Engineering 1998. In 2020, he received the Most Influential Paper Award for a paper titled "An architectural style for solving computationally intensive problems on large networks" published in the ACM/IEEE Software Engineering for Adaptive and Self-Managing Systems 2007. In 2017, he received an IEEE International Conference on Software Architecture Best Paper Award for his paper titled "Continuous Analysis of Collaborative Design".
Francisco Javier Esparza Estaun is a Computer Scientist. He is a professor at the Technische Universität München.
Yannis Smaragdakis is a Greek-American software engineer, computer programmer, and researcher. He is a professor in the Department of Informatics and Telecommunications at the University of Athens. He is the author of more than 130 research articles on a variety of topics, including program analysis, declarative languages, program generators, language design, and concurrency. He is best known for work in program generation and program analysis and the Doop framework.
Eric Bodden is a German computer scientist. He holds the Chair of Secure Software Engineering at the Heinz Nixdorf Institute of the Paderborn University and is Director of Software Engineering and IT Security at the Fraunhofer Institute for Mechatronic Design (IEM). He is also head of the engineering department in the Collaborative Research Centre 1119 CROSSING at the Technical University of Darmstadt.
Trevor Mudge is a computer scientist, academic and researcher. He is the Bredt Family Chair of Computer Science and Engineering, and Professor of Electrical Engineering and Computer Science at the University of Michigan.
