Axel van Lamsweerde

Axel van Lamsweerde (född 1947) är en belgisk datavetare och professor i datavetenskap vid Universite catholique de Louvain , känd för sitt arbete med kravteknik och utvecklingen av det målorienterade modelleringsspråket KAOS .

Biografi

Van Lamsweerde fick sin MS i matematik från Université catholique de Louvain och sin doktorsexamen i datavetenskap från Université libre de Bruxelles .

Van Lamsweerde började sin karriär som forskarassistent vid Philips Research Labs 1970. 1980 utnämndes han till professor vid Université de Namur , och senare även professor vid Université libre de Bruxelles, och forskarassistent vid University of Oregon och Stanford. Från 1988 till 1990 ledde han ESPRIT ICARUS-projektet. I slutet av 1990-talet utnämndes han till professor i datavetenskap vid Université catholique de Louvain , där han också ledde Software Engineering-gruppen i "Departement d'Ingenierie Informatique".

Van Lamsweerde var ordförande för flera internationella programvaruteknikkonferenser, såsom ESEC'91 och ICSE'94, var chefredaktör för ACM Transactions in Software Engineering and Methodology, och grundande medlem av IFIP WG2.9 Working Group on Requirements Engineering . År 2000 valdes Van Lamsweerde till ACM Fellow , 2000 tilldelades han ACM SIGSOFT Distinguished Service Award och 2008 ACM SIGSOFT Outstanding Research Award.

Arbete

Van Lamsweerdes forskningsintressen är inom områdena "precis teknik för kravteknik, systemmodellering, högsäkerhetssystem, lättviktiga formella metoder, processmodellering och analys, medicinsk säkerhet och kunskapsbaserade mjukvaruutvecklingsmiljöer." Sedan 1990-talet har han utvecklat modelleringsspråk för målmodellering , kallat KAOS målorienterade modelleringsspråk .

Utvalda publikationer

Böcker:

• Axel Lamsweerde, Pierre Dufour. Aktuella frågor i expertsystem. 1987.
• Axel van Lamsweerde, Alfonso Fuggetta (red.) ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milano, Italien, 21–24 oktober 1991. Proceedings. Springer Science & Business Media, 9 okt. 1991.
• Axel van Lamsweerde. Kravteknik: Från systemmål till UML-modeller till mjukvaruspecifikationer. Wiley, 9 feb. 2009

Artikel ett urval:

• Dardenne, Anne, Axel Van Lamsweerde och Stephen Fickas. " Målinriktat kravförvärv ." Science of computer programmering 20.1 (1993): 3-50.
• Van Lamsweerde, Axel. " Kravteknik år 00: Ett forskningsperspektiv ." Proceedings från den 22:a internationella konferensen om mjukvaruteknik. ACM, 2000.
• Van Lamsweerde, Axel. " http://courses.cs.ut.ee/2010/sem/uploads/Main/04RE-reading-goals.pdf Målorienterad kravteknik: En guidad tur ." Requirements Engineering, 2001. Proceedings. Femte IEEE International Symposium on. IEEE, 2001.

externa länkar

• Axel van Lamsweerde på INGI