| 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. |  |