Software component < Software development < Software engineering | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
000336 (2005) | Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly On-the-Fly LTL Model Checking |
000367 (2004) | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] | Refining Mobile UML State Machines |
000376 (2004) | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Adding Features to Component-Based Systems |
000423 (2002) | Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
000487 (1999) | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Requirements Elicitation and Formal Specification |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Allemagne/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/KwdEn.i -k "Software development"
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/KwdEn.i \ -Sk "Software development" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Allemagne |étape= Analysis |type= indexItem |index= KwdEn.i |clé= Software development }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |