SWS Academic Research eLibraryEarth & Planetary Sciences

Scholarly record

DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM

Chupac, Lubos, Mudron, . Ivan, Mensik, . Marek

First published: 2013-06-20https://doi.org/10.5593/sgem2013/bb2.v1/s07.012View metrics

Publication Impact Profile

PlumX
  • Captures
  • Mendeley - Readers: 1
PLUMX see details

Publication details

Title
DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM
Authors
Chupac, Lubos, Mudron, . Ivan, Mensik, . Marek
Proceedings
SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 13th SGEM GeoConference on INFORMATICS, GEOINFORMATICS AND REMOTE SENSING
Publisher
Stef92 Technology
Year
2013
Pages
93 - 100 pp
ISSN
1314-2704
ISBN
Not available yet
Language
en
Publication type
Conference Paper
References20

  1. Baader F., Calvanese D., McGuinness D.L., Nardi D. & Patel-Schneider, P.F. (Eds.) The Description Logic Handbook: Theory, Implementation and Application. Cambridge University Press, 2002.

  2. Duží M. & Vojtáš P. Multi-Criterion Search from the Semantic Point of View. Amsterdam: IOS Press, vol. XIX, pp. 21-39, 2008.

  3. Duží M., Jespersen B. & Materna P. Procedural Semantics for Hyperintensional Logic. Foundations and Applications of TIL, Springer, vol. 17, pp. 500, 2013

  4. ubík, A. Agentov -orientované inženýrství: nové paradigma pro tvorbu softwaru, Objekty, Czech Republic, pp. 44– 59, 2003.

  5. Foundation for intelligent physical agents, FIPA communicative act library specification (online) http://www.fipa.org/specs/fipa00037/SC00037J.html#_Toc26729695, 2012

  6. Fitzgerald J. & Larsen P. G. Modeling systems: Practical Tools and Techniques in Software Development. Second ed., Cambridge, UK, pp. 208, 2009.

  7. Muller, A. VDM - The Vienna Development Method. 2009.

  8. Plat, N. & Larsen P.G. An Overview of the Iso/Vdm-Sl Standard. Sigplan Notices, vol. 27(8), pp. 76-82, 1992.

  9. Alagar V.S. & Periyasamy K. Specification of Software Systems, 405 Texts in Computer Science, Springer-Verlag, London, UK, 2011.

  10. Ledru Y., Potet M.L. & Sanlaville R. VDM Modules. 1999.

  11. Baader F., Calvanese D., McGuinness D.L., Nardi D. & Patel-Schneider, P.F. (Eds.) The Description Logic Handbook: Theory, Implementation and Application. Cambridge University Press, 2002.

  12. Duží M. & Vojtáš P. Multi-Criterion Search from the Semantic Point of View. Amsterdam: IOS Press, vol. XIX, pp. 21-39, 2008.

  13. Duží M., Jespersen B. & Materna P. Procedural Semantics for Hyperintensional Logic. Foundations and Applications of TIL, Springer, vol. 17, pp. 500, 2013

  14. ubík, A. Agentov -orientované inženýrství: nové paradigma pro tvorbu softwaru, Objekty, Czech Republic, pp. 44– 59, 2003.

  15. Foundation for intelligent physical agents, FIPA communicative act library specification (online) http://www.fipa.org/specs/fipa00037/SC00037J.html#_Toc26729695, 2012

  16. Fitzgerald J. & Larsen P. G. Modeling systems: Practical Tools and Techniques in Software Development. Second ed., Cambridge, UK, pp. 208, 2009.

  17. Muller, A. VDM - The Vienna Development Method. 2009.

  18. Plat, N. & Larsen P.G. An Overview of the Iso/Vdm-Sl Standard. Sigplan Notices, vol. 27(8), pp. 76-82, 1992.

  19. Alagar V.S. & Periyasamy K. Specification of Software Systems, 405 Texts in Computer Science, Springer-Verlag, London, UK, 2011.

  20. Ledru Y., Potet M.L. & Sanlaville R. VDM Modules. 1999.

View or Download full articleAccess options
Full paper accessChoose SWS login, librarian support, or instant article download.

SWS access login

Login as SWS Scientific Committee

Authors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.

For librarian assistance: [email protected]

Purchase Instant Access

48-hour online accessComing soon
Online-only accessComing soon
Download the full article in PDF formatEUR 35
  • Article can be downloaded after successful payment.
  • Article may be used according to SWS library access terms.
  • Article cannot be redistributed.
Get full paper

Back to publication list