Аксель ван Ламсверде - Axel van Lamsweerde
Аксель ван Ламсверде (1947 г.р.), бельгиец специалист в области информатики и профессор компьютерных наук в Католический университет Лувена, известный своей работой над разработка требований и развитие Целенаправленный язык моделирования KAOS.[1][2]
биография
Ван Ламсверде получил степень магистра математики в Католический университет Лувена и его докторскую степень в области вычислительной техники из Université libre de Bruxelles.
Ван Ламсверде начал свою карьеру научным сотрудником в Исследовательские лаборатории Philips в 1970 г. В 1980 г. был назначен профессором кафедры Université de Namur, а позже также профессор Свободного университета Брюсселя и научный сотрудник Орегонского и Стэнфордского университетов. С 1988 по 1990 год руководил проектом ESPRIT ICARUS. В конце 1990-х он был назначен профессором компьютерных наук в Католический университет Лувена, где он также руководил группой разработки программного обеспечения в "Departement d'Ingenierie Informatique".
Ван Ламсверде председательствовал на нескольких международных конференциях по разработке программного обеспечения, таких как ESEC'91 и ICSE'94, был главным редактором ACM-транзакции в программной инженерии и методологии, и член-основатель ИФИП WG2.9 Рабочая группа по Разработка требований. В 2000 году был избран Ван Ламсверде. Член ACM, в 2000 году он был награжден премией ACM SIGSOFT за выдающиеся заслуги, а в 2008 году - премией ACM SIGSOFT за выдающиеся исследования.[3]
Работа
Исследовательские интересы Ван Ламсверде находятся в областях «точных методов разработки требований, моделирования систем, систем с высоким уровнем гарантии, упрощенных формальных методов, моделирования и анализа процессов, медицинской безопасности и сред разработки программного обеспечения на основе знаний».[3] С 1990-х годов он занимается разработкой языка моделирования для моделирование целей, назвал Целенаправленный язык моделирования KAOS.
Избранные публикации
Книги:
- Аксель Ламсверде, Пьер Дюфур. Актуальные вопросы в экспертных системах. 1987.
- Аксель ван Ламсверде, Альфонсо Фуггетта (ред.) ESEC '91: 3-я Европейская конференция по разработке программного обеспечения, ESEC '91, Милан, Италия, 21–24 октября 1991 г. Материалы. Springer Science & Business Media, 9 окт. 1991 г.
- Аксель ван Ламсверде. Разработка требований: от системных целей до моделей UML и спецификаций программного обеспечения. Wiley, 9 февр. 2009 г.
Подборка статей:[4]
- Дарденн, Энн, Аксель Ван Ламсверде и Стивен Фикас. "Получение целевых требований." Наука компьютерного программирования 20.1 (1993): 3-50.
- Ван Ламсверде, Аксель. "Разработка требований в 00 году: перспективы исследования. »Материалы 22-й международной конференции по программной инженерии. ACM, 2000.
- Ван Ламсверде, Аксель. "http://courses.cs.ut.ee/2010/sem/uploads/Main/04RE-reading-goals.pdf Разработка требований, ориентированная на достижение цели: экскурсия с гидом[постоянная мертвая ссылка ]. "Разработка требований, 2001. Труды. Пятый международный симпозиум IEEE по. IEEE, 2001.
Рекомендации
- ^ Чанг, Лоуренс и др. «Нефункциональные требования». Программная инженерия (2000).
- ^ Нусейбе, Башар и Стив Истербрук. «Разработка требований: дорожная карта». Материалы конференции о будущем программной инженерии. ACM, 2000.
- ^ а б Аксель ван Ламсверде на домашней странице INGI. Проверено 10. 2014.
- ^ Ученый Goggle профиль
внешняя ссылка
- Аксель ван Ламсверде в INGI