Zobrazeno 1 - 10
of 28
pro vyhledávání: '"V. S. Alagar"'
Autor:
V. S. Alagar, R. Missaoui
Publikováno v:
Object-Oriented Technology for Database and Software Systems. :i-viii
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0eba84fe48368eef6b87ebf3783e5fbc
https://doi.org/10.1007/978-0-85729-277-3_14
https://doi.org/10.1007/978-0-85729-277-3_14
Autor:
K. Periyasamy, V. S. Alagar
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
The Z notation (pronounced as zed, named after the German mathematician Ernst Zermelo) originated at the Oxford University Computing Laboratory, UK and has evolved over the last decade into a conceptually clear and mathematically well-defined specifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f45c1ea9666701fa6d352bb5c84aa9e4
https://doi.org/10.1007/978-0-85729-277-3_17
https://doi.org/10.1007/978-0-85729-277-3_17
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Specification of Software Systems ISBN: 9781475729221
Specification of Software Systems ISBN: 9781475729221
The Vienna Development Method (VDM) is an environment for the modeling and development of sequential software systems. The specification language of VDM has evolved from Meta-IV, the language used at IBM’s Vienna development laboratory for specifyi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::02b980f3fbdc9d2a7b2ba9e7bebe8aa2
https://doi.org/10.1007/978-0-85729-277-3_16
https://doi.org/10.1007/978-0-85729-277-3_16
Autor:
K. Periyasamy, V. S. Alagar
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Specification of Software Systems ISBN: 9781475729221
Specification of Software Systems ISBN: 9781475729221
The main goal of this chapter is to demonstrate the usefulness of mathematical abstractions such as sets, relations, functions, and sequences in software development. In particular, the chapter lays the foundation for the specification languages pres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db512d38c2e93701ca1159e276212a58
https://doi.org/10.1007/978-0-85729-277-3_12
https://doi.org/10.1007/978-0-85729-277-3_12
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Specification of Software Systems ISBN: 9781475729221
Specification of Software Systems ISBN: 9781475729221
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a1b236208593efe2adc1806f1514cfe
https://doi.org/10.1007/978-0-85729-277-3_3
https://doi.org/10.1007/978-0-85729-277-3_3
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cd8f66705c3956f1caad77997e3004b
https://doi.org/10.1007/978-0-85729-277-3_9
https://doi.org/10.1007/978-0-85729-277-3_9
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
The FSM models we have considered, in spite of many extensions to basic automaton, fall short in many aspects. They have to be extended further, as broadly outlined below, in order to model complex system behavior.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab789746a334f1e8fa19d1626c8c16bc
https://doi.org/10.1007/978-0-85729-277-3_7
https://doi.org/10.1007/978-0-85729-277-3_7
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eabda3354fabeb5f9cede8161edfa372
https://doi.org/10.1007/978-0-85729-277-3_4
https://doi.org/10.1007/978-0-85729-277-3_4
Autor:
V. S. Alagar, K. Periyasamy
Publikováno v:
Texts in Computer Science ISBN: 9780857292766
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d92f8a4f023a7d868e2bdc0ee5e72758
https://doi.org/10.1007/978-0-85729-277-3_11
https://doi.org/10.1007/978-0-85729-277-3_11