Einführung in Software Engineering:
Saved in:
| Format: | Book |
|---|---|
| Language: | German |
| Published: |
Berlin u.a.
de Gruyter
1979
|
| Series: | De-Gruyter-Lehrbuch
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 291 - 300 |
| Physical Description: | 306 S. Ill., graph. Darst. |
| ISBN: | 3110078368 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002260170 | ||
| 003 | DE-604 | ||
| 005 | 20231110 | ||
| 007 | t | ||
| 008 | 890928s1979 ad|| |||| 00||| ger d | ||
| 020 | |a 3110078368 |9 3-11-007836-8 | ||
| 035 | |a (OCoLC)35410151 | ||
| 035 | |a (DE-599)BVBBV002260170 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91G |a DE-384 |a DE-M347 |a DE-Aug4 |a DE-473 |a DE-19 |a DE-355 |a DE-29T |a DE-29 |a DE-706 |a DE-526 |a DE-634 |a DE-B170 |a DE-83 |a DE-11 |a DE-188 |a DE-703 | ||
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 245 | 1 | 0 | |a Einführung in Software Engineering |c von Reinhold Kimm ... |
| 264 | 1 | |a Berlin u.a. |b de Gruyter |c 1979 | |
| 300 | |a 306 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a De-Gruyter-Lehrbuch | |
| 500 | |a Literaturverz. S. 291 - 300 | ||
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Computer programs | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Strukturierte Programmierung |0 (DE-588)4058133-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Strukturierte Programmierung |0 (DE-588)4058133-0 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Kimm, Reinhold |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001485323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Record in the Search Index
| _version_ | 1805083271359365120 |
|---|---|
| adam_text |
EINFUEHRUNG IN SOFTWARE ENGINEERING VON REINHOLD KIMM WILFRIED KOCH
WERNER SIMONSMEIER FRIEDRICH TONTSCH W DE G WALTER DE GRUYTER * BERLIN *
NEW YORK 1979 INHALTSVERZEICHNIS 1. GEGENSTANDSBESTIMMUNG 11 1.1.
HISTORISCHE ENTWICKLUNG 12 1.2. WAS IST SOFTWARE ENGINEERING ? 15 1.3.
DIE PHASEN DER SOFTWAREENTWICKLUNG UND -VERWENDUNG 18 1.3.1.
PROBLEMANALYSE 20 1.3.2. ENTWURF 21 1.3.3. IMPLEMENTIERUNG 22 1.3.4.
FUNKTIONS- UND LEISTUNGSUEBERPRUEFUNG 24 1.3.5. INSTALLATION UND ABNAHME
25 1.3.6. "WARTUNG" 25 1.3.7. RUECKGRIFFE IM ENTWICKLUNGSPROZESS 26 1.3.8.
PROJEKTORGANISATION UND DOKUMENTATION 27 1.4. ZUSAMMENFASSUNG 28 2.
ZIELBESTIMMUNG 29 2.1. SOFTWAREPRODUKTION WOZU ? 29 2.2. ANFORDERUNGEN
AN DEN SOFTWAREHERSTELLUNGSPROZESS 31 2.3. ANFORDERUNGEN AN DAS PRODUKT
32 2.3.1. ZUVERLAESSIGKEIT 33 2.3.2. BENUTZUNGSFREUNDLICHKEIT 36 2.3.3.
FLEXIBILITAET 39 2.3.4. LESBARKEIT 43 2.3.5. EFFIZIENZ 43 2.4.
ZUSAMMENHANG DER QUALITAETSANFORDERUNGEN 44 2.5. ZUSAMMENFASSUNG 47 3.
PROBLEMANALYSE 48 3.1. ISTANALYSE 49 3.2. ERARBEITUNG EINES SOLLKONZEPTS
52 3.3. DARSTELLUNGSMETHODEN 54 3.3.1. GEBRAEUCHLICHE DARSTELLUNGSMITTEL
55 3.3.2. DIE SADT-METHODE 59 3.3.3. DAS ISDOS-PROJEKT 64 3.4.
DURCHFUEHRBARKEITSSTUDIE ,* 68 0 '' 3.5. PROJEKTPLANUNG 70 3.5.1. UMFANG
DES SOFTWAREPRODUKTS 70 , 3.5.2. DIE ARBEITSPRODUKTIVITAET DER
PROGRAMMIERER 73 3.5.3. ZEITPLAN UND PERSONAL VERTEILUNG 76 3.5.4.
KOSTENSCHAETZUNG UND SACHMITTEL 79 3.5.5. AUTOMATISCHE UNTERSTUETZUNG 81
3.6. ZUSAMMENFASSUNG 83 4. DOKUMENTATION 85 4.1. BENUTZERDOKUMENTATION
85 4.1.1. INHALT DER BENUTZERDOKUMENTATION 86 4.1.2. SPRACHMITTEL DER
BENUTZERDOKUMENTATION 87 4.1.3. FORM DER BENUTZERDOKUMENTATION 88 4.2.
ENTWICKLUNGSDOKUMENTATION 90 4.2.1. INHALT UND AUFBAU DER
ENTWICKLUNGSDOKUMENTATION 90 4.2.2. GESTALTUNG DER
ENTWICKLUNGSDOKUMENTATION 93 4.3. TECHNISCHE DOKUMENTATION 94 4.4.
ZUSAMMENFASSUNG 95 5. ENTWURF 96 5.1. EIN ZERLEGUNGSBEISPIEL 101 5.2.
TYPEN VON MODULN 109' 5.3. BEZIEHUNGEN ZWISCHEN MODULN 112 5.4.
KRITERIEN DER ZERLEGUNG 117 5.4.1. EINFACHHEIT DER SCHNITTSTELLEN 117
5.4.2. GETRENNTE UEBERSETZBARKEIT 119 5.4.3. GERINGE MODULGROESSE 120 5.5.
ENTWURFSMETHODIK 121 5.5.1. DIE TOP-DOWN- ODER OUTSIDE-IN-METHODE 126
5.5.2. DIE BOTTOM-UP- ODER INSIDE-OUT-METHODE 128 5.5.3. VORSCHLAEGE FUER
PRAKTIKABLE ENTWURFSMETHODEN 129 5.6. ZUSAMMENFASSUNG 136 6.
SPEZIFIKATION 137 6.1. HIPO-DIAGRAMME ' 139 6.2. INFORMELLE
INHALTSVERZEICHNISSE 143 SS -' 6.3. PARNASSCHE SPEZIFIKATION 145 6.4.
ALGEBRAISCHE SPEZIFIKATION 150 6.4.1. EINE BEISPIELSPEZIFIKATION 151
6.4.2. DIE VORTEILE DER ALGEBRAISCHEN SPEZIFIKATION 154 6.4.3.
DATENTYPGENERATOREN 156 6.4.4. DAS PROBLEM DER VERSTECKTEN FUNKTIONEN
157 6.4.5. FEHLERBEHANDLUNG 159 6.4.6. ERWEITERUNG AUF ANDERE MODULARTEN
161 6.4.7. SCHRITTWEISE IMPLEMENTIERUNG UND VERIFIKATION 164 6.4.8.
NOTWENDIGE WEITERENTWICKLUNG DER ALGEBRAISCHEN 169 SPEZIFIKATIONSMETHODE
6.5. PETRI-NETZE 169 6.6. ZUSAMMENFASSUNG 174 7. REALISIERUNG VON
MODULKONZEPTEN IN PROGRAMMIERSPRACHEN 175 7.1. MODULARE ZERLEGUNG UND
ALGORITHMISCHE SPRACHE 176 7.2. BEURTEILUNG VON ZERLEGUNGSKONZEPTEN IN
PROGRAMMIER- 176 SPRACHEN 7.3. ASSEMBLERSPRACHEN 177 7.4. KLASSISCHE
PROGRAMMIERSPRACHEN 179 7.4.1. KLASSISCHE SPRACHEN OHNE BLOCKSTRUKTUR
179 7.4.2. KLASSISCHE SPRACHEN MIT BLOCKSTRUKTUR 181 7.4.3.
WEITERENTWICKLUNG KLASSISCHER SPRACHEN 182 7.5. SPRACHEN MIT ABSTRAKTEN
DATENTYPEN 186 7.6. TRENNUNG VON TYP- UND MODUL BEGRIFF 193 7.7.
ALPHARD: VON DER SPEZIFIKATION ZUR IMPLEMENTIERUNG 201 7.8. CDL2: EINE
SPRACHE MIT MEHRSTUFIGEM ZERLEGUNGSKONZEPT 206 7.9. ZUSAMMENFASSUNG 210
8. PROGRAMMIERUNG IM KLEINEN 211 8.1. ELEMENTE DER PROGRAMMIERUNG IM
KLEINEN 214 8.1.1. SCHRITTWEISE VERFEINERUNG UND VERBALISIERUNG 214
8.1.2. BESCHREIBUNG DES STEUERFLUSSES 220 8.1.3. DATENKONSTRUKTE 228
8.1.4. PROZEDUREN 234 8.2. GRAPHISCHE DARSTELLUNGEN DER PROGRAMMSTRUKTUR
234 8.3. PROGRAMMENTWICKLUNG UND ALGORITHMISCHE SPRACHEN 237 0 10 8.4.
PROGRAMMVERIFIKATION 238 8.4.1. VERIFIKATION MIT HILFE VON ZUSICHERUNGEN
239 8.4.2. ZUSICHERUNGEN ALS KONSTRUKTIONSHILFSMITTEL 247 8.5.
ZUSAMMENFASSUNG 253 9. TESTEN 255 9.1. FEHLERARTEN UND -URSACHEN 255
9.2. TESTPHASEN UND TESTSTRATEGIE 258 9.3. DURCHFUEHRUNG DES TESTENS 260
9.3.1. KRITERIEN ZUR AUSWAHL DER TESTDATEN 260 9.3.2. AUTOMATISCHE
UNTERSTUETZUNG 263 9.4. SYMBOLISCHE PROGRAMMAUSFUEHRUNG 265 9.4.1.
GRUNDLAGEN 265 9.4.2. ANWENDUNG DER SYMBOLISCHEN PROGRAMMAUSFUEHRUNG 270
9.4.3. PRAKTISCHE BEDEUTUNG 271 9.5. FINDEN UND BEHEBEN VON FEHLERN 272
9.6. HILFSMITTEL ZUM AUFFINDEN VON FEHLERN 273 9.7. EFFIZIENZTEST UND
OPTIMIERUNG 275 9.8. ZUSAMMENFASSUNG 277 10. PROJEKTMANAGEMENT 278 10.1.
EINBETTUNG DER SOFTWAREHERSTELLUNG IN DIE BETRIEBS- 278 ORGANISATION
10.2. "KLASSISCHE" PROJEKTMODELLE 281 10.3. DAS CHEF-PROGRAMMIERER-TEAM
284 10.4. PROBLEME DER TEAM-ORGANISATION 286 10.5. ZUSAMMENFASSUNG 289
LI TERATURVERZEI CHNI S 291 STICHWORTVERZEICHNIS 301 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV002260170 |
| classification_rvk | QH 500 ST 230 |
| ctrlnum | (OCoLC)35410151 (DE-599)BVBBV002260170 |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV002260170</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231110</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1979 ad|| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110078368</subfield><subfield code="9">3-11-007836-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35410151</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002260170</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-B170</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in Software Engineering</subfield><subfield code="c">von Reinhold Kimm ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">de Gruyter</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">306 S.</subfield><subfield code="b">Ill., 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="0" ind2=" "><subfield code="a">De-Gruyter-Lehrbuch</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 291 - 300</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Strukturierte Programmierung</subfield><subfield code="0">(DE-588)4058133-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Strukturierte Programmierung</subfield><subfield code="0">(DE-588)4058133-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kimm, Reinhold</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001485323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| id | DE-604.BV002260170 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T07:45:54Z |
| institution | BVB |
| isbn | 3110078368 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001485323 |
| oclc_num | 35410151 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-M347 DE-Aug4 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-29T DE-29 DE-706 DE-526 DE-634 DE-B170 DE-83 DE-11 DE-188 DE-703 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-M347 DE-Aug4 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-29T DE-29 DE-706 DE-526 DE-634 DE-B170 DE-83 DE-11 DE-188 DE-703 |
| physical | 306 S. Ill., graph. Darst. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | de Gruyter |
| record_format | marc |
| series2 | De-Gruyter-Lehrbuch |
| spelling | Einführung in Software Engineering von Reinhold Kimm ... Berlin u.a. de Gruyter 1979 306 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier De-Gruyter-Lehrbuch Literaturverz. S. 291 - 300 Computer programming Computer programs Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Strukturierte Programmierung (DE-588)4058133-0 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 s Programmierung (DE-588)4076370-5 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Strukturierte Programmierung (DE-588)4058133-0 s Kimm, Reinhold Sonstige oth HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001485323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Einführung in Software Engineering Computer programming Computer programs Softwareentwicklung (DE-588)4116522-6 gnd Software Engineering (DE-588)4116521-4 gnd Strukturierte Programmierung (DE-588)4058133-0 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4116521-4 (DE-588)4058133-0 (DE-588)4076370-5 |
| title | Einführung in Software Engineering |
| title_auth | Einführung in Software Engineering |
| title_exact_search | Einführung in Software Engineering |
| title_full | Einführung in Software Engineering von Reinhold Kimm ... |
| title_fullStr | Einführung in Software Engineering von Reinhold Kimm ... |
| title_full_unstemmed | Einführung in Software Engineering von Reinhold Kimm ... |
| title_short | Einführung in Software Engineering |
| title_sort | einfuhrung in software engineering |
| topic | Computer programming Computer programs Softwareentwicklung (DE-588)4116522-6 gnd Software Engineering (DE-588)4116521-4 gnd Strukturierte Programmierung (DE-588)4058133-0 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Computer programming Computer programs Softwareentwicklung Software Engineering Strukturierte Programmierung Programmierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001485323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kimmreinhold einfuhrunginsoftwareengineering |