FLEX: a flexible extension and integration concept for software development in KORSO and COMPASS
Abstract: "Motivated by the experience within the ESPRIT BR WG COMPASS and the BMFT-project KORSO (Korrekte Software) we propose a flexible extension and integration concept for software development, called FLEX. In addition to support software development by formal methods the aims of FLEX are...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Techn. Univ. Berlin, Fachbereich 20, Informatik
1993
|
| Schriftenreihe: | Technische Universität <Berlin> / Fachbereich Informatik: Bericht
1993,17 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Motivated by the experience within the ESPRIT BR WG COMPASS and the BMFT-project KORSO (Korrekte Software) we propose a flexible extension and integration concept for software development, called FLEX. In addition to support software development by formal methods the aims of FLEX are mainly to allow a smooth change from classical semi- formal techniques for software development to formal techniques with flexible tool support for all levels of development. These aims lead to a number of requirements for FLEX which are already partially supported by concepts availabe in the literature, while several other aspects concerning extension and integration of different subtechniques and languages still have to be investigated. To meet these aims and requirements a general and first specific tasks are defined and it is shown how far recent publications in the area of algebraic specifications are contributions for these tasks already. The general task according to FLEX -- which is considered to be a long term project -- is to provide generic language, tool and methodology development for KORSO and COMPASS in the spirit of development of generic software systems with flexible extension and interconnection mechanisms." |
| Beschreibung: | 14 Bl. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008881410 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940210s1993 d||| |||| 00||| engod | ||
| 035 | |a (OCoLC)31948801 | ||
| 035 | |a (DE-599)BVBBV008881410 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-83 |a DE-188 | ||
| 100 | 1 | |a Ehrig, Hartmut |d 1944-2016 |e Verfasser |0 (DE-588)107905582 |4 aut | |
| 245 | 1 | 0 | |a FLEX |b a flexible extension and integration concept for software development in KORSO and COMPASS |c Hartmut Ehrig |
| 264 | 1 | |a Berlin |b Techn. Univ. Berlin, Fachbereich 20, Informatik |c 1993 | |
| 300 | |a 14 Bl. |b graph. Darst. | ||
| 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 1993,17 | |
| 520 | 3 | |a Abstract: "Motivated by the experience within the ESPRIT BR WG COMPASS and the BMFT-project KORSO (Korrekte Software) we propose a flexible extension and integration concept for software development, called FLEX. In addition to support software development by formal methods the aims of FLEX are mainly to allow a smooth change from classical semi- formal techniques for software development to formal techniques with flexible tool support for all levels of development. These aims lead to a number of requirements for FLEX which are already partially supported by concepts availabe in the literature, while several other aspects concerning extension and integration of different subtechniques and languages still have to be investigated. To meet these aims and requirements a general and first specific tasks are defined and it is shown how far recent publications in the area of algebraic specifications are contributions for these tasks already. The general task according to FLEX -- which is considered to be a long term project -- is to provide generic language, tool and methodology development for KORSO and COMPASS in the spirit of development of generic software systems with flexible extension and interconnection mechanisms." | |
| 650 | 4 | |a Software engineering | |
| 810 | 2 | |a Fachbereich Informatik: Bericht |t Technische Universität <Berlin> |v 1993,17 |w (DE-604)BV000001083 |9 1993,17 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005874806 | ||
Datensatz im Suchindex
| _version_ | 1804123237428232192 |
|---|---|
| any_adam_object | |
| author | Ehrig, Hartmut 1944-2016 |
| author_GND | (DE-588)107905582 |
| author_facet | Ehrig, Hartmut 1944-2016 |
| author_role | aut |
| author_sort | Ehrig, Hartmut 1944-2016 |
| author_variant | h e he |
| building | Verbundindex |
| bvnumber | BV008881410 |
| ctrlnum | (OCoLC)31948801 (DE-599)BVBBV008881410 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02297nam a2200289 cb4500</leader><controlfield tag="001">BV008881410</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940210s1993 d||| |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31948801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008881410</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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">FLEX</subfield><subfield code="b">a flexible extension and integration concept for software development in KORSO and COMPASS</subfield><subfield code="c">Hartmut Ehrig</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ. Berlin, Fachbereich 20, Informatik</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">14 Bl.</subfield><subfield code="b">graph. Darst.</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">1993,17</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Motivated by the experience within the ESPRIT BR WG COMPASS and the BMFT-project KORSO (Korrekte Software) we propose a flexible extension and integration concept for software development, called FLEX. In addition to support software development by formal methods the aims of FLEX are mainly to allow a smooth change from classical semi- formal techniques for software development to formal techniques with flexible tool support for all levels of development. These aims lead to a number of requirements for FLEX which are already partially supported by concepts availabe in the literature, while several other aspects concerning extension and integration of different subtechniques and languages still have to be investigated. To meet these aims and requirements a general and first specific tasks are defined and it is shown how far recent publications in the area of algebraic specifications are contributions for these tasks already. The general task according to FLEX -- which is considered to be a long term project -- is to provide generic language, tool and methodology development for KORSO and COMPASS in the spirit of development of generic software systems with flexible extension and interconnection mechanisms."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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">1993,17</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1993,17</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005874806</subfield></datafield></record></collection> |
| id | DE-604.BV008881410 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:26:35Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005874806 |
| oclc_num | 31948801 |
| open_access_boolean | |
| owner | DE-12 DE-83 DE-188 |
| owner_facet | DE-12 DE-83 DE-188 |
| physical | 14 Bl. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Techn. Univ. Berlin, Fachbereich 20, Informatik |
| record_format | marc |
| series2 | Technische Universität <Berlin> / Fachbereich Informatik: Bericht |
| spelling | Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut FLEX a flexible extension and integration concept for software development in KORSO and COMPASS Hartmut Ehrig Berlin Techn. Univ. Berlin, Fachbereich 20, Informatik 1993 14 Bl. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <Berlin> / Fachbereich Informatik: Bericht 1993,17 Abstract: "Motivated by the experience within the ESPRIT BR WG COMPASS and the BMFT-project KORSO (Korrekte Software) we propose a flexible extension and integration concept for software development, called FLEX. In addition to support software development by formal methods the aims of FLEX are mainly to allow a smooth change from classical semi- formal techniques for software development to formal techniques with flexible tool support for all levels of development. These aims lead to a number of requirements for FLEX which are already partially supported by concepts availabe in the literature, while several other aspects concerning extension and integration of different subtechniques and languages still have to be investigated. To meet these aims and requirements a general and first specific tasks are defined and it is shown how far recent publications in the area of algebraic specifications are contributions for these tasks already. The general task according to FLEX -- which is considered to be a long term project -- is to provide generic language, tool and methodology development for KORSO and COMPASS in the spirit of development of generic software systems with flexible extension and interconnection mechanisms." Software engineering Fachbereich Informatik: Bericht Technische Universität <Berlin> 1993,17 (DE-604)BV000001083 1993,17 |
| spellingShingle | Ehrig, Hartmut 1944-2016 FLEX a flexible extension and integration concept for software development in KORSO and COMPASS Software engineering |
| title | FLEX a flexible extension and integration concept for software development in KORSO and COMPASS |
| title_auth | FLEX a flexible extension and integration concept for software development in KORSO and COMPASS |
| title_exact_search | FLEX a flexible extension and integration concept for software development in KORSO and COMPASS |
| title_full | FLEX a flexible extension and integration concept for software development in KORSO and COMPASS Hartmut Ehrig |
| title_fullStr | FLEX a flexible extension and integration concept for software development in KORSO and COMPASS Hartmut Ehrig |
| title_full_unstemmed | FLEX a flexible extension and integration concept for software development in KORSO and COMPASS Hartmut Ehrig |
| title_short | FLEX |
| title_sort | flex a flexible extension and integration concept for software development in korso and compass |
| title_sub | a flexible extension and integration concept for software development in KORSO and COMPASS |
| topic | Software engineering |
| topic_facet | Software engineering |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT ehrighartmut flexaflexibleextensionandintegrationconceptforsoftwaredevelopmentinkorsoandcompass |