Axel van Lamsweerde
E416850
Axel van Lamsweerde is a Belgian computer scientist renowned for his pioneering work in requirements engineering and formal methods for software systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Axel van Lamsweerde canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4177256 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Axel van Lamsweerde Context triple: [ACM SIGSOFT Outstanding Research Award, hasRecipient, Axel van Lamsweerde]
-
A.
Ben van Berkel
Ben van Berkel is a Dutch architect and co-founder of the architecture firm UNStudio, known for innovative, fluid, and technologically advanced building designs worldwide.
-
B.
Erik van Egeraat
Erik van Egeraat is a Dutch architect known for his expressive, contemporary designs and influential contributions to European architecture.
-
C.
Jacob Vosmaer
Jacob Vosmaer was a Dutch Golden Age painter from Delft, known especially for his detailed and vibrant flower still lifes.
-
D.
Mels Crouwel
Mels Crouwel is a Dutch architect best known as a co-founder of the prominent architecture firm Benthem Crouwel Architekten, noted for major public and infrastructural projects in the Netherlands.
-
E.
Rogier Stoffers
Rogier Stoffers is a Dutch cinematographer known for his work on a range of international films and television productions.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Axel van Lamsweerde Target entity description: Axel van Lamsweerde is a Belgian computer scientist renowned for his pioneering work in requirements engineering and formal methods for software systems.
-
A.
Ben van Berkel
Ben van Berkel is a Dutch architect and co-founder of the architecture firm UNStudio, known for innovative, fluid, and technologically advanced building designs worldwide.
-
B.
Erik van Egeraat
Erik van Egeraat is a Dutch architect known for his expressive, contemporary designs and influential contributions to European architecture.
-
C.
Jacob Vosmaer
Jacob Vosmaer was a Dutch Golden Age painter from Delft, known especially for his detailed and vibrant flower still lifes.
-
D.
Mels Crouwel
Mels Crouwel is a Dutch architect best known as a co-founder of the prominent architecture firm Benthem Crouwel Architekten, noted for major public and infrastructural projects in the Netherlands.
-
E.
Rogier Stoffers
Rogier Stoffers is a Dutch cinematographer known for his work on a range of international films and television productions.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ person ⓘ |
| citizenship | Belgium ⓘ |
| educatedAt |
University of Manchester Institute of Science and Technology
ⓘ
Université catholique de Louvain ONNED1 ⓘ |
| employer |
UCLouvain Louvain-la-Neuve
ⓘ
surface form:
Université catholique de Louvain
|
| fieldOfWork |
formal methods
ⓘ
requirements engineering ⓘ software engineering ⓘ systems engineering ⓘ |
| genre | scientific literature ⓘ |
| hasAcademicDegree | PhD in computer science ⓘ |
| hasAffiliation |
UCLouvain Louvain-la-Neuve
ⓘ
surface form:
Université catholique de Louvain
|
| hasContribution |
approaches to non-functional requirements modeling
ⓘ
approaches to security requirements engineering ⓘ development of the KAOS goal-oriented requirements language ⓘ formal refinement of goals into operational requirements ⓘ frameworks for managing inconsistencies in requirements ⓘ goal-oriented approaches to software process improvement ⓘ integration of formal methods into industrial requirements engineering practice ⓘ methods for ensuring alignment between business goals and system requirements ⓘ methods for handling obstacles and conflicts in requirements ⓘ requirements engineering for safety-critical systems ⓘ requirements traceability techniques ⓘ risk analysis in requirements engineering ⓘ teaching and dissemination of requirements engineering best practices ⓘ techniques for deriving software specifications from goals ⓘ use of temporal logic in requirements specification ⓘ |
| knownFor |
KAOS requirements engineering framework
ⓘ
formal specification of requirements ⓘ goal-oriented requirements engineering ⓘ requirements engineering for critical systems ⓘ |
| languageOfWorkOrName |
English
ⓘ
French ⓘ |
| memberOf | software engineering research community ⓘ |
| nationality | Belgian ⓘ |
| notableIdea |
goal-oriented requirements engineering paradigm
ⓘ
obstacle-driven requirements engineering ⓘ |
| notableWork | Requirements Engineering: From System Goals to UML Models to Software Specifications ⓘ |
| occupation |
researcher
ⓘ
university professor ⓘ |
| positionHeld | professor of software engineering ⓘ |
| researchInterest |
formal verification of requirements
ⓘ
goal modeling ⓘ model-based systems engineering ⓘ requirements analysis ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Axel van Lamsweerde Description of subject: Axel van Lamsweerde is a Belgian computer scientist renowned for his pioneering work in requirements engineering and formal methods for software systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.