A decade of TAPSOFT: aspects of progress and prospects in theory and practice of software development
Abstract: "The relationship between theory and practice of software development on the background of the driving forces in the 70'ies [sic] and 80'ies [sic] was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so muc...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
[1995]
|
| Schriftenreihe: | Technische Universität <Berlin> / Fachbereich Informatik: Bericht
1995,1 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The relationship between theory and practice of software development on the background of the driving forces in the 70'ies [sic] and 80'ies [sic] was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFT conferences but to discuss the general background and to focus on specific aspects of theory and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin. The survey in this paper shows that there is quite a different kind of progress in the decades before and after TAPSOFT'85: Before 1985 the focus was more on the development of new concepts while consolidation and attempts to adapt to practical needs was dominant after 1985. Finally the expectations for the future of theory and practice of software development are discussed on the background of the driving forces in the 90'ies [sic] hoping that TAPSOFT will be able to meet these requirements." |
| Beschreibung: | Literaturverz. Bl. 19 - 22 |
| Beschreibung: | 22 Bl. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010164522 | ||
| 003 | DE-604 | ||
| 005 | 19950711 | ||
| 007 | t | ||
| 008 | 950424s1995 gw |||| 00||| ger d | ||
| 016 | 7 | |a 944045481 |2 DE-101 | |
| 035 | |a (OCoLC)33219306 | ||
| 035 | |a (DE-599)BVBBV010164522 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-83 | ||
| 100 | 1 | |a Ehrig, Hartmut |d 1944-2016 |e Verfasser |0 (DE-588)107905582 |4 aut | |
| 245 | 1 | 0 | |a A decade of TAPSOFT |b aspects of progress and prospects in theory and practice of software development |c Hartmut Ehrig ; Bernd Mahr |
| 264 | 1 | |a Berlin |c [1995] | |
| 300 | |a 22 Bl. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <Berlin> / Fachbereich Informatik: Bericht |v 1995,1 | |
| 500 | |a Literaturverz. Bl. 19 - 22 | ||
| 520 | 3 | |a Abstract: "The relationship between theory and practice of software development on the background of the driving forces in the 70'ies [sic] and 80'ies [sic] was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFT conferences but to discuss the general background and to focus on specific aspects of theory and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin. The survey in this paper shows that there is quite a different kind of progress in the decades before and after TAPSOFT'85: Before 1985 the focus was more on the development of new concepts while consolidation and attempts to adapt to practical needs was dominant after 1985. Finally the expectations for the future of theory and practice of software development are discussed on the background of the driving forces in the 90'ies [sic] hoping that TAPSOFT will be able to meet these requirements." | |
| 650 | 4 | |a Software engineering | |
| 700 | 1 | |a Mahr, Bernd |e Verfasser |4 aut | |
| 810 | 2 | |a Fachbereich Informatik: Bericht |t Technische Universität <Berlin> |v 1995,1 |w (DE-604)BV000001083 |9 1995,1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006750053 | ||
Datensatz im Suchindex
| _version_ | 1804124559378481153 |
|---|---|
| any_adam_object | |
| author | Ehrig, Hartmut 1944-2016 Mahr, Bernd |
| author_GND | (DE-588)107905582 |
| author_facet | Ehrig, Hartmut 1944-2016 Mahr, Bernd |
| author_role | aut aut |
| author_sort | Ehrig, Hartmut 1944-2016 |
| author_variant | h e he b m bm |
| building | Verbundindex |
| bvnumber | BV010164522 |
| ctrlnum | (OCoLC)33219306 (DE-599)BVBBV010164522 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02257nam a2200337 cb4500</leader><controlfield tag="001">BV010164522</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950711 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950424s1995 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944045481</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33219306</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010164522</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A decade of TAPSOFT</subfield><subfield code="b">aspects of progress and prospects in theory and practice of software development</subfield><subfield code="c">Hartmut Ehrig ; Bernd Mahr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="c">[1995]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 Bl.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <Berlin> / Fachbereich Informatik: Bericht</subfield><subfield code="v">1995,1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. Bl. 19 - 22</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The relationship between theory and practice of software development on the background of the driving forces in the 70'ies [sic] and 80'ies [sic] was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFT conferences but to discuss the general background and to focus on specific aspects of theory and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin. The survey in this paper shows that there is quite a different kind of progress in the decades before and after TAPSOFT'85: Before 1985 the focus was more on the development of new concepts while consolidation and attempts to adapt to practical needs was dominant after 1985. Finally the expectations for the future of theory and practice of software development are discussed on the background of the driving forces in the 90'ies [sic] hoping that TAPSOFT will be able to meet these requirements."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mahr, Bernd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik: Bericht</subfield><subfield code="t">Technische Universität <Berlin></subfield><subfield code="v">1995,1</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1995,1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006750053</subfield></datafield></record></collection> |
| id | DE-604.BV010164522 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:35Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006750053 |
| oclc_num | 33219306 |
| open_access_boolean | |
| owner | DE-12 DE-83 |
| owner_facet | DE-12 DE-83 |
| physical | 22 Bl. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | Technische Universität <Berlin> / Fachbereich Informatik: Bericht |
| spelling | Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development Hartmut Ehrig ; Bernd Mahr Berlin [1995] 22 Bl. txt rdacontent n rdamedia nc rdacarrier Technische Universität <Berlin> / Fachbereich Informatik: Bericht 1995,1 Literaturverz. Bl. 19 - 22 Abstract: "The relationship between theory and practice of software development on the background of the driving forces in the 70'ies [sic] and 80'ies [sic] was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFT conferences but to discuss the general background and to focus on specific aspects of theory and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin. The survey in this paper shows that there is quite a different kind of progress in the decades before and after TAPSOFT'85: Before 1985 the focus was more on the development of new concepts while consolidation and attempts to adapt to practical needs was dominant after 1985. Finally the expectations for the future of theory and practice of software development are discussed on the background of the driving forces in the 90'ies [sic] hoping that TAPSOFT will be able to meet these requirements." Software engineering Mahr, Bernd Verfasser aut Fachbereich Informatik: Bericht Technische Universität <Berlin> 1995,1 (DE-604)BV000001083 1995,1 |
| spellingShingle | Ehrig, Hartmut 1944-2016 Mahr, Bernd A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development Software engineering |
| title | A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development |
| title_auth | A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development |
| title_exact_search | A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development |
| title_full | A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development Hartmut Ehrig ; Bernd Mahr |
| title_fullStr | A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development Hartmut Ehrig ; Bernd Mahr |
| title_full_unstemmed | A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development Hartmut Ehrig ; Bernd Mahr |
| title_short | A decade of TAPSOFT |
| title_sort | a decade of tapsoft aspects of progress and prospects in theory and practice of software development |
| title_sub | aspects of progress and prospects in theory and practice of software development |
| topic | Software engineering |
| topic_facet | Software engineering |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT ehrighartmut adecadeoftapsoftaspectsofprogressandprospectsintheoryandpracticeofsoftwaredevelopment AT mahrbernd adecadeoftapsoftaspectsofprogressandprospectsintheoryandpracticeofsoftwaredevelopment |