Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « software engineering »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
software development environments < software engineering < software engineering activity  Facettes :

List of bibliographic references indexed by software engineering

Number of relevant bibliographic references: 66.
[0-20] [0 - 20][0 - 50][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
001993 (2012-08-23) Dominique Méry [France] ; Neeraj Kumar Singh [France]Critical systems development methodology using formal techniques
002D19 (2010-05-10) Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France]Agents and artefacts for multiple models co-evolution. Building complex system simulation as a set of interacting models
004514 (2008) Nicolas Navet [France] ; Françoise Simonot-Lion [France]The Automotive Embedded Systems Handbook
006899 (2004) Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson LimaManipulating Algebraic Specifications with Term-based and Graph-based Representations
008427 (2002) Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson LimaManipulating Algebraic Specifications with Term-based and Graph-based Representations
008763 (2002) Yingxu Wang [Canada] ; Antony Bryant [Royaume-Uni]Process-Based Software Engineering: Building the Infrastructures
008854 (2002) P. Barthelmess [États-Unis] ; K. M. Anderson [États-Unis]A View of Software Development Environments Based on Activity Theory
008B12 (2002) Anamaria Martins Moreira ; Christophe Ringeissen [France] ; David Déharbe ; Gleydson LimaManipulating Algebraic Specifications with Term-based and Graph-based Representations
008D78 (2001) Jean-Pierre Jacquot ; Franck ChalauxFaciliter l'écriture de spécifications : une étude de cas
008E73 (2001) Jean-Pierre Jacquot ; Franck ChalauxHelping specification writers : a case study
009505 (2001) Jean-Pierre Jacquot [France] ; Franck ChalauxFaciliter l'écriture de spécifications : une étude de cas
009646 (2001) Jean-Pierre Jacquot [France] ; Franck ChalauxHelping specification writers: a case study
00A506 (1999) David Wastell ; Selma Arbaoui ; Jacques Lonchamp ; Montangero CarloThe Human Dimensions of the Software Process
00A650 (1999) Arnaud DuryConception de systèmes multi-agents orientée interactions : un modèle de description et d'opérationnalisation
00A685 (1999) Fundamental Approaches to Software Engineering
00B106 (1998) Franck ChalauxConstruction et vérification de spécifications d'Interfaces Homme-Machine
00B878