Software Specification Methods, 2006, p.233-258
2006
Details
- Autor(en) / Beteiligte
- Titel
- E LOTOS
- Ist Teil von
- Software Specification Methods, 2006, p.233-258
- Ort / Verlag
- Unknown: ISTE
- Erscheinungsjahr
- 2006
- Link zum Volltext
- Quelle
- Wiley Online Library All Obooks
- Beschreibungen/Notizen
- This chapter contains sections titled: Overview of the L OTOS notation and method Analysis and specification of case 1 Analysis and specification of case 2 Validation and verification of the Lotos specifications Natural language description of the specifications Conclusion
- Sprache
- Englisch
- Identifikatoren
- ISBN: 1905209347, 9781905209347DOI: 10.1002/9780470612514.ch13Titel-ID: cdi_wiley_ebooks_10_1002_9780470612514_ch13_ch13