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.
Handbook of Software Engineering / / edited by Sungdeok Cha, Richard N. Taylor, Kyochul Kang
| Handbook of Software Engineering / / edited by Sungdeok Cha, Richard N. Taylor, Kyochul Kang |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 524 p. 110 illus., 57 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Mathematical logic Computer security Software Engineering Software Management Management of Computing and Information Systems Mathematical Logic and Formal Languages Systems and Data Security |
| ISBN | 3-030-00262-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Software Process -- Requirements Engineering -- Software Architecture and Design -- Software Testing -- Formal Methods -- Software Evolution -- Empirical Software Engineering -- Software Reuse and Product Line Engineering -- Key Software Engineering Paradigms and Methods -- Coordination Technology -- Self-Adaptive Systems -- Security and Software Engineering -- Software Engineering in the Cloud. |
| Record Nr. | UNINA-9910337577603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICSE 2011 : 33rd International Conference on Software Engineering : proceedings of the conference, May 21-28, 2011, Waikiki, Honolulu, Hawaii
| ICSE 2011 : 33rd International Conference on Software Engineering : proceedings of the conference, May 21-28, 2011, Waikiki, Honolulu, Hawaii |
| Autore | Taylor Richard N |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (1234 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '11 |
| Record Nr. | UNINA-9910141074003321 |
Taylor Richard N
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICSE 2011 : 33rd International Conference on Software Engineering : proceedings of the conference, May 21-28, 2011, Waikiki, Honolulu, Hawaii
| ICSE 2011 : 33rd International Conference on Software Engineering : proceedings of the conference, May 21-28, 2011, Waikiki, Honolulu, Hawaii |
| Autore | Taylor Richard N |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (1234 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '11 |
| Record Nr. | UNISA-996214492303316 |
|
Taylor Richard N
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the fourth ACM SIGSOFT Symposium on Software Development Environments
| Proceedings of the fourth ACM SIGSOFT Symposium on Software Development Environments |
| Autore | Taylor Richard N |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 1990 |
| Descrizione fisica | 1 online resource (248 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the fourth Association for Computing Machinery Special Interest Group on Software Engineering Symposium on Software Development Environments
SIGSOFT'90 4th Symposium on Software Development Environments, Irvine, CA, USA - December 03 - 05, 1990 |
| Record Nr. | UNINA-9910375907703321 |
|
Taylor Richard N
|
||
| [Place of publication not identified], : ACM, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Human-Computer Interaction [[electronic resource] ] : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings / / edited by Richard N. Taylor, Joelle Coutaz
| Software Engineering and Human-Computer Interaction [[electronic resource] ] : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings / / edited by Richard N. Taylor, Joelle Coutaz |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XII, 288 p.) |
| Disciplina | 005.1/01/9 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
User interfaces (Computer systems) Computers Software Engineering/Programming and Operating Systems User Interfaces and Human Computer Interaction Software Engineering Models and Principles |
| ISBN | 3-540-49173-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to the workshop on Software Engineering and Human-Computer Interaction: Joint research issues -- Working group on design methods and processes -- Working group on evaluating user interfaces and user interface tools -- Working group on formal methods in HCI and software engineering -- Issues in the evaluation of user interface tools -- Platform independent GUI builders advance software engineering to handle HCI issues -- Evaluation techniques: Exploring the intersection of HCI and software engineering -- A review of formalisms for describing interactive behaviour -- User interface prototyping: Tools and techniques -- Software engineering and the CHI & CSCW communities -- User interface technology and software engineering environments -- Integrating object-oriented analysis and graphical user interface design -- An experience using Jasminum — Formalization assisting with the design of user interfaces -- From formal models to formal methods -- Computing environments for flexible teams -- Applying formal methods for human error tolerant design -- Support of user interface design aspects in a framework for distributed cooperative applications -- Prototyping a visual formalism for system modelling -- User interface tools: A survey and perspective -- Lessons learned from a successful collaboration between software engineers and human interface engineers -- Software engineering and CSCW: A common research ground -- Practical language-based editing for software engineers -- Research issues in the intersection of hypertext and software development environments. |
| Record Nr. | UNISA-996466102603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||