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.
2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia
| 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia |
| Autore | Meyer Bertrand |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (738 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2237-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2013 9th Joint Meeting of the European Software Engineering Conference and the Association for Computing Machinery Special Interest Group on Software Engineering Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering ESEC/FSE '13 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russian Federation - August 18 - 26, 2013 |
| Record Nr. | UNINA-9910375878503321 |
Meyer Bertrand
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agile! : The Good, the Hype and the Ugly / / by Bertrand Meyer
| Agile! : The Good, the Hype and the Ugly / / by Bertrand Meyer |
| Autore | Meyer Bertrand |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (181 p.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Project management Software Engineering Management of Computing and Information Systems Project Management Software Management |
| ISBN | 3-319-05155-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Overview -- Deconstructing agile texts -- The enemy: Big Upfront Anything -- Agile principles -- Agile roles -- Agile practices: managerial -- Agile practices: technical -- Agile artifacts -- Agile methods -- Dealing with agile teams -- The Ugly, the Hype and the Good: an assessment of the agile approach. . |
| Record Nr. | UNINA-9910298564703321 |
|
Meyer Bertrand
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The French School of Programming / / edited by Bertrand Meyer
| The French School of Programming / / edited by Bertrand Meyer |
| Autore | Meyer Bertrand |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (451 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | Meyer |
| Soggetto topico |
Software engineering
Computer science Programming languages (Electronic computers) Computer programming Machine theory Computer programs - Testing Software Engineering Theory of Computation Programming Language Programming Techniques Formal Languages and Automata Theory Software Testing |
| ISBN | 9783031345180 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The French School of Programming: A Personal View -- Part I: Software Engineering -- “Testing can be formal too”: 30 years later -- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property -- Modeling: From CASE Tools to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics and syntax, between computer science and mathematics -- Some remarks about Dependent Type Theory -- Part III: Theory -- A Personal Historical Perspective on Abstract Interpretation -- Tracking Redexes in the Lambda Calculus -- Confluence of terminating rewriting computations -- Part IV: Language design and programming methodology -- Programming with union, intersection, and negation types -- Right and wrong: ten choices in language design. |
| Record Nr. | UNINA-9910855370303321 |
|
Meyer Bertrand
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||