Axel Van Lamsweerde
Axel van Lamsweerde (born 1947) 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. Biography Van Lamsweerde received his MS in Mathematics from the Université catholique de Louvain and his PhD in computing science from the Université libre de Bruxelles. Van Lamsweerde started his career as research associate at Philips Research Labs in 1970. In 1980 he was appointed Professor at the Université de Namur, and later also professor at the Université libre de Bruxelles, and research fellow at the University of Oregon and Stanford. From 1988 to 1990 he directed the ESPRIT ICARUS project. Late 1990s he was appointed Professor of Computing Science at the Universite catholique de Louvain, where he also directed the Software Engineering group in the "Departement d'Ingenierie Informatique". Van Lamsweerde chaired s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Computer Scientist
A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (although there is overlap). Although computer scientists can also focus their work and research on specific areas (such as algorithm and data structure development and design, software engineering, information theory, database theory, computational complexity theory, numerical analysis, programming language theory, computer graphics, and computer vision), their foundation is the theoretical study of computing from which these other fields derive. A primary goal of computer scientists is to develop or validate models, often mathematical, to describe the properties of computational systems (processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discovering des ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Requirements Engineering
Requirements engineering (RE) is the process of defining, documenting, and maintaining requirements in the engineering design process. It is a common role in systems engineering and software engineering. The first use of the term ''requirements engineering'' was probably in 1964 in the conference paper "Maintenance, Maintainability, and System Requirements Engineering", but it did not come into general use until the late 1990s with the publication of an IEEE Computer Society tutorial in March 1997 and the establishment of a conference series on requirements engineering that has evolved into the International Requirements Engineering Conference. In the waterfall model, requirements engineering is presented as the first phase of the development process. Later development methods, including the Rational Unified Process (RUP) for software, assume that requirements engineering continues through a system's lifetime. Requirement management, which is a sub-function of Systems Enginee ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
KAOS (software Development)
KAOS, is a goal-oriented software requirements capturing approach in requirements engineering. It is a specific Goal modeling A goal model is an element of requirements engineering that may also be used more widely in business analysis. Related elements include stakeholder analysis, context analysis, and scenarios, among other business and technical areas. Principles Go ... method; another is i*. It allows for requirements to be calculated from goal diagrams. KAOS stands for ''Knowledge Acquisition in automated specification'' or ''Keep All Objectives Satisfied''. The University of Oregon and the University of Louvain (Belgium) designed the KAOS methodology in 1990 by Axel van Lamsweerde and others.A KAOS Tutorial It is taught worldwide at the university level for capturing software requirements ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Université Catholique De Louvain
The Université catholique de Louvain (also known as the Catholic University of Louvain, the English translation of its French name, and the University of Louvain, its official English name) is Belgium's largest French-speaking university. It is located in Louvain-la-Neuve, which was expressly built to house the university, and Brussels, Charleroi, Mons, Tournai and Namur. Since September 2018, the university has used the branding UCLouvain, replacing the acronym UCL, following a merger with Saint-Louis University, Brussels. The original University of Louvain (''Universitas Lovaniensis'') was founded at the centre of the historic town of Leuven (or ''Louvain'') in 1425, and abolished by the law in 1797 making it the first university in Belgium and the Low Countries. This university was the centre of Baianism, Jansenism and Febronianism in Europe. A new university, the State University of Louvain, was founded in 1817 and abolished by the law in 1835. A new catholic universit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philips Natuurkundig Laboratorium
The Philips Natuurkundig Laboratorium (English translation: ''Philips Physics Laboratory'') or NatLab was the Dutch section of the Philips research department, which did research for the product divisions of that company. Originally located in the Strijp district of Eindhoven, the facility moved to Waalre in the early 1960s. A 1972 municipal rezoning brought the facility back into Eindhoven, which was followed some years later by Eindhoven renaming the street the facility is on into the ''Prof. Holstlaan'', after the first director.Google Maps location of the facility In 1975, the NatLab employed some 2000 people, including 600 researchers with university degrees. Research done at the NatLab has ranged from product-specific to [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Université De Namur
The University of Namur or ''Université de Namur'' (UNamur),New name since September 2012, formerly ''Facultés Universitaires Notre-Dame de la Paix'' (FUNDP)/ref> in Namur (Belgium), is a Jesuit, Catholic private university in the French Community of Belgium. Both teaching and research are carried out in six ''Faculties'' or university level schools in the fields of: * Philosophy and Lettres * Law * Economic, Social, and Management Sciences * Computer Sciences * Sciences * Medicine Geography and location The University of Namur is located in Namur, Belgium. The main campus is located at the heart of the city of Namur, capital of Wallonia. The main university campus includes the university building, the six main faculties and the university libraries. History Foundation 1831-1846 In the spring of 1831, the Society of Jesus reopened a high school in what was earlier the Our-Lady of Peace Benedictine abbey, in Namur. The school immediately developed into a college with the s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Requirements Engineering
Requirements engineering (RE) is the process of defining, documenting, and maintaining requirements in the engineering design process. It is a common role in systems engineering and software engineering. The first use of the term ''requirements engineering'' was probably in 1964 in the conference paper "Maintenance, Maintainability, and System Requirements Engineering", but it did not come into general use until the late 1990s with the publication of an IEEE Computer Society tutorial in March 1997 and the establishment of a conference series on requirements engineering that has evolved into the International Requirements Engineering Conference. In the waterfall model, requirements engineering is presented as the first phase of the development process. Later development methods, including the Rational Unified Process (RUP) for software, assume that requirements engineering continues through a system's lifetime. Requirement management, which is a sub-function of Systems Enginee ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Goal Modeling
A goal model is an element of requirements engineering that may also be used more widely in business analysis. Related elements include stakeholder analysis, context analysis, and scenarios, among other business and technical areas. Principles Goals are objectives which a system should achieve through cooperation of actors in the intended software and in the environment. Goal modeling is especially useful in the early phases of a project. Projects may consider how the intended system meets organizational goals (see also ), why the system is needed and how the stakeholders’ interests may be addressed. A goal model: * Expresses the relationships between a system and its environment (i.e. not only on what the system is supposed to do, but why). The understanding this gives, of the reasons why a system is needed, in its context, is useful because "systems are increasingly used to fundamentally change business processes rather than to automate long-established practices". * Clarifies ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |