AUTOMATISATION DE LA PRODUCTION DE LOGICIELS D'APPLICATION: QUELQUES APPROCHES. IIIVAN LAMSWEERDE A.1983; T.S.I. TECHNIQUE ET SCIENCE INFORMATIQUES; ISSN 0752-4072; FRA; DA. 1983; VOL. 2; NO 2; PP. 81-93; ABS. ENG; BIBL. 3 P.Article

AUTOMATISATION DE LA PRODUCTION DE LOGICIELS D'APPLICATIONS: QUELQUES APPROCHES. IVAN LAMSWEERDE A.1982; T.S.I. TECHNIQUE ET SCIENCE INFORMATIQUES; ISSN 0752-4072; FRA; DA. 1982; VOL. 1; NO 6; PP. 475-494; ABS. ENG; BIBL. 5 P.Article

FORMAL DERIVATION OF STRONGLY CORRECT CONCURRENT PROGRAMSVAN LAMSWEERDE A; SINTZOFF M.1979; ACTA INFORMAT.; DEU; DA. 1979; VOL. 12; NO 1; PP. 1-31; BIBL. 21 REF.Article

CONSTRUCTING CORRECT AND EFFICIENT CONCURRENT PROGRAMS.SINTZOFF M; VAN LAMSWEERDE A.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 319-326; BIBL. 24 REF.Conference Paper

ON AN EXTENSION OF DIJKSTRA'S SEMAPHORE PRIMITIVESVANTILBORGH H; VAN LAMSWEERDE A.1972; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1972; VOL. 1; NO 5; PP. 181-186; BIBL. 7 REF.Serial Issue

Goal-directed requirements acquisition = Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model is called requirements model. This paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements models are acquired as instances of a conceptual meta-model. The latter can be represented as a graph where each node captures an abstraction such as, e.g. goal, action, agent, entity, or event, and where the edges semantic links between such abstractions. Requirements acquisition processes then correspond to particular ways of traversing the meta-model graph to acquire appropriate instances of the various nodes and links according to the constraints. The paper describes a significant portion of the meta-model related to system goals, and one particular acquisition strategy where the meta-model is traversed backwards from such goalsDARDENNE, A; VAN LAMSWEERDE, A; FICKAS, S et al.Science of computer programming. 1993, Vol 20, Num 1-2, pp 3-50, issn 0167-6423Conference Paper

Generic lifecycle support in the ALMA environmentVAN LAMSWEERDE, A; DELCOURT, B; DELOR, E et al.IEEE transactions on software engineering. 1988, Vol 14, Num 6, pp 720-741, issn 0098-5589Article

Grail/Kaos : Un outil pour l'analyse de besoins guidée par les objectifs = Grail/Kaos : A objective oriented tool for the needs analysisBERTRAND, P; DARIMONT, R; DECLERCQ, J.-F et al.Génie logiciel (1995). 1997, Num 46, pp 139-144, issn 1265-1397Conference Paper