Graphic specification of abstract data types
Fuente:
Redalyc
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | en |
| Publié: |
Universidad de Tarapacá
2004
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1876467814949191680 |
|---|---|
| author | Ricardo Contreras |
| author_facet | Ricardo Contreras |
| contents | Graphic specification of abstract data types Ricardo Contreras María Cecilia Bastarrica Pedro Rossel Ingeniería formal methods graphic language abstract data types Software engineering algebraic specification Formally specifying software requirements using algebraic specifications has all the advantages of formalspecifications. This type of specifications is usually textual. Most modern specification languages have a graphicalrepresentation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present asurvey on how abstract data types are represented graphically. We propose a structure containing a superset of allelements surveyed. We also show an application example, and we report some experimental results when using thisgraphical representation. 2004 artículo científico 0717-1072 https://www.redalyc.org/articulo.oa?id=11412103 en http://www.redalyc.org/revista.oa?id=114 Revista Facultad de Ingeniería application/pdf Universidad de Tarapacá Revista Facultad de Ingeniería (Chile) Num.1 Vol.12 |
| format | Artículo científico |
| id | redalyc_11412103 |
| institution | Redalyc |
| language | en |
| publishDate | 2004 |
| publisher | Universidad de Tarapacá |
| spellingShingle | Graphic specification of abstract data types Ricardo Contreras Ingeniería formal methods graphic language abstract data types Software engineering algebraic specification Graphic specification of abstract data types Ricardo Contreras María Cecilia Bastarrica Pedro Rossel Ingeniería formal methods graphic language abstract data types Software engineering algebraic specification Formally specifying software requirements using algebraic specifications has all the advantages of formalspecifications. This type of specifications is usually textual. Most modern specification languages have a graphicalrepresentation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present asurvey on how abstract data types are represented graphically. We propose a structure containing a superset of allelements surveyed. We also show an application example, and we report some experimental results when using thisgraphical representation. 2004 artículo científico 0717-1072 https://www.redalyc.org/articulo.oa?id=11412103 en http://www.redalyc.org/revista.oa?id=114 Revista Facultad de Ingeniería application/pdf Universidad de Tarapacá Revista Facultad de Ingeniería (Chile) Num.1 Vol.12 |
| title | Graphic specification of abstract data types |
| topic | Ingeniería formal methods graphic language abstract data types Software engineering algebraic specification |
| url | https://www.redalyc.org/articulo.oa?id=11412103 |