Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Ernst Denert Award for Software Engineering 2019 [[electronic resource] ] : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2019 [[electronic resource] ] : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| Autore | Felderer Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (V, 140 p. 58 illus., 6 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering
Software Management Management of Computing and Information Systems IT in Business IT Operations Software Development Requirements Engineering Software Modeling Software Research Open Access Ernst Denert Award Business mathematics & systems Business applications Information architecture Maintenance & repairs |
| ISBN | 3-030-58617-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers’ Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. |
| Record Nr. | UNISA-996465445603316 |
Felderer Michael
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ernst Denert Award for Software Engineering 2020 : practice meets foundations / / editors, Michael Felderer [et al.]
| Ernst Denert Award for Software Engineering 2020 : practice meets foundations / / editors, Michael Felderer [et al.] |
| Autore | Felderer Michael |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (290 pages) : illustrations (some color) |
| Altri autori (Persone) |
FeldererMichael
HasselbringWilhelm KoziolekHeiko MatthesFlorian PrecheltLutz ReussnerRalf RumpeBernhard SchaeferIna |
| Soggetto topico | Software engineering - Awards |
| Soggetto non controllato |
Software Engineering
Software Development Requirements Engineering Software Modeling Software Research Ernst Denert Award |
| ISBN | 3-030-83128-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464541703316 |
|
Felderer Michael
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Essence of Software Engineering [[electronic resource] /] / edited by Volker Gruhn, Rüdiger Striemer
| The Essence of Software Engineering [[electronic resource] /] / edited by Volker Gruhn, Rüdiger Striemer |
| Autore | Gruhn Volker |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2018 |
| Descrizione fisica | 1 online resource (XV, 236 p. 98 illus., 51 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering
Software Development Software Processes Software Architectures Software Management |
| ISBN | 3-319-73897-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 The Leading Role of Software and Systems Architecture in the Age of Digitization -- 2 Formal Methods and Agile Development: Towards a Happy Marriage -- 3 Escaping Method Prison – On the Road to Real Software Engineering -- 4 What is software?: The Role of Empirical Methods in Answering the Question -- 5 Only the Architecture You Need -- 6 Variability in standard software products Introducing software product line engineering to the insurance industry -- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report -- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge -- 9 Data-driven decisions and actions in today’s software development -- 10 Software Architecture: Past, Present, Future -- 11 Software Product Lines -- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise -- 13 Achievements, Failures, and the Future of Model-based Software Engineering. |
| Record Nr. | UNINA-9910293146503321 |
|
Gruhn Volker
|
||
| Cham, : Springer Nature, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical Modeling of Cellular Processes: From Software Development to Network Dynamics
| Logical Modeling of Cellular Processes: From Software Development to Network Dynamics |
| Autore | Barberis Matteo |
| Pubbl/distr/stampa | Frontiers Media SA, 2019 |
| Descrizione fisica | 1 electronic resource (340 p.) |
| Soggetto topico |
Science: general issues
Physiology |
| Soggetto non controllato |
Logical Models
biological applications Software Development Analysis techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Logical Modeling of Cellular Processes |
| Record Nr. | UNINA-9910557224603321 |
|
Barberis Matteo
|
||
| Frontiers Media SA, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
RECAA - Werkzeugunterstützung in der Anforderungserhebung
| RECAA - Werkzeugunterstützung in der Anforderungserhebung |
| Autore | Körner Sven J |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2014 |
| Descrizione fisica | 1 electronic resource (XX, 256 p. p.) |
| Soggetto non controllato |
Software Development
NLP Ontology Softwareentwicklung Requirements Engineering NLPRequirements Engineering Ontologien |
| ISBN | 1000039460 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910347053603321 |
|
Körner Sven J
|
||
| KIT Scientific Publishing, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
| Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| Autore | Omri Fouad ben Nasr |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2018 |
| Descrizione fisica | 1 electronic resource (XIII, 162 p. p.) |
| Collana | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
| Soggetto non controllato |
Software Development
Software Reliability Zuverlässigkeit Statistisches Testen Software-Entwicklung Statistical Testing |
| ISBN | 1000051517 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346774503321 |
|
Omri Fouad ben Nasr
|
||
| KIT Scientific Publishing, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||