Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Helmuth Partsch"'
Autor:
Helmuth Partsch
Publikováno v:
Requirements-Engineering systematisch ISBN: 9783642053573
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::864d51345579c9288376737a8bfebb11
https://doi.org/10.1007/978-3-642-05358-0_6
https://doi.org/10.1007/978-3-642-05358-0_6
Autor:
Helmuth Partsch
Publikováno v:
Requirements-Engineering systematisch ISBN: 9783642053573
Im Folgenden wird zunachst ein intuitiver Zugang zur Thematik des Requirements-Engineering geschaffen, indem das Umfeld und einige typische Probleme beleuchtet werden.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc33cda8538126b244af2a4be01f70be
https://doi.org/10.1007/978-3-642-05358-0_1
https://doi.org/10.1007/978-3-642-05358-0_1
Publikováno v:
The Computer Journal. 35:547-554
The task of software production is to build software systems which are to fulfil certain requirements. For years the approach has been to build up by trial and error a program which, having satisfied carefully prepared test data, offers a plausible s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f152064831848bc5ce481a43f9e7468
https://doi.org/10.1093/comjnl/35.6.547
https://doi.org/10.1093/comjnl/35.6.547
Autor:
Helmuth Partsch
Publikováno v:
Automatic Program Development ISBN: 9781402065842
Bob Paige’s first contact with the IFIPWorking Group 2.1 was the meeting #27 in Wheeling, West-Virginia, in 1980 which he attended as an invited observer. For me, this was also the first occasion in which I met him— however, without really gettin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8274140914af20dd9c7d2e1701bd4af
https://doi.org/10.1007/978-1-4020-6585-9_6
https://doi.org/10.1007/978-1-4020-6585-9_6
Autor:
Frank A. Stomp, Helmuth Partsch
Publikováno v:
Formal Aspects of Computing. 2:109-122
Highly optimised algorithms are, in general, hard to understand. This is a consequence of the designer's sacrifice of clarity and modularity in favour of efficiency. In this paper we present a formal derivation of a rather ingenious algorithm, viz.,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8782128e7a8dd4f62d53ea035e31f269
https://doi.org/10.1007/bf01888219
https://doi.org/10.1007/bf01888219
Autor:
Helmuth Partsch
Publikováno v:
Algebraic Methods: Theory, Tools and Applications ISBN: 3540516980
Algebraic Methods
Algebraic Methods
The wide spectrum language CIP-L offers, among other concepts, algebraic abstract types for the formulation of formal problem specifications. This concept has been used for a real-life, large-scale application, viz. the (formal) specification of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb4519682dd44afb2455dbb9d7c72809
https://doi.org/10.1007/bfb0015034
https://doi.org/10.1007/bfb0015034
Autor:
Helmuth Partsch
Publikováno v:
Requirements-Engineering systematisch ISBN: 9783540643913
Requirements-Engineering systematisch ISBN: 9783642053573
Requirements-Engineering systematisch ISBN: 9783642053573
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00fcf1a770940d9956cf906c742f1bdb
https://doi.org/10.1007/978-3-662-09758-8_5
https://doi.org/10.1007/978-3-662-09758-8_5
Autor:
Helmuth Partsch
Publikováno v:
Requirements-Engineering systematisch ISBN: 9783540643913
Requirements-Engineering systematisch ISBN: 9783642053573
Requirements-Engineering systematisch ISBN: 9783642053573
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7748a4166a303d3085a930b4e1ce061e
https://doi.org/10.1007/978-3-662-09758-8_4
https://doi.org/10.1007/978-3-662-09758-8_4
Autor:
Helmuth Partsch
Publikováno v:
Requirements-Engineering systematisch ISBN: 9783540643913
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::461b813e256ed34839b821e2f15a5596
https://doi.org/10.1007/978-3-662-09758-8_1
https://doi.org/10.1007/978-3-662-09758-8_1