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.
Artificial intelligence : concepts, methodologies, tools, and applications / / Information Resources Management Association, editor
| Artificial intelligence : concepts, methodologies, tools, and applications / / Information Resources Management Association, editor |
| Pubbl/distr/stampa | Hershey, Pennsylvania : , : Information Science Reference, , 2017 |
| Descrizione fisica | PDFs (3,048 pages) : illustrations |
| Disciplina | 006.3 |
| Soggetto topico | Artificial intelligence - Industrial applications |
| Soggetto non controllato |
Ethics and social issues
Intelligent information systems Machine learning Natural language processing Problem solving techniques Robotics Software engineering Web technologies |
| ISBN |
9781522517603
9781522517597 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental concepts and theories -- Development and design methodologies -- Tools and technologies -- Utilization and application -- Organizational and social implications -- Managerial impacts. |
| Record Nr. | UNINA-9910156177603321 |
| Hershey, Pennsylvania : , : Information Science Reference, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Current Trends in Web Engineering [[electronic resource] ] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / / edited by Andreas Harth, Nora Koch
| Current Trends in Web Engineering [[electronic resource] ] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / / edited by Andreas Harth, Nora Koch |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXXII, 361 p. 119 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Computer communication systems Computers Software engineering Management information systems Computer science Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Information Systems and Communication Service Software Engineering Management of Computing and Information Systems |
| Soggetto genere / forma | Conference papers and proceedings. |
| Soggetto non controllato |
Computer science
Computer Communication Networks Software engineering Information systems Information storage and retrieval systems Information Systems Applications (incl. Internet) Information Storage and Retrieval Information Systems and Communication Service Management of Computing and Information Systems |
| ISBN | 3-642-27997-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An evaluation of mashup tools based on support for heterogeneous mashup components / Saeed Aghaee, Cesare Pautasso -- An approach to construct dynamic service mashups using lightweight semantics / Dong Liu [and others] -- Task-Based recommendation of mashup components / Vincent Tietz [and others] -- Integration of telco services into enterprise mashup applications / Olexiy Chudnovskyy [and others] -- Orchestrated user interface mashups using w3c widgets / Scott Wilson [and others] -- Cross-Domain embedding for vaadin applications / Janne Lautamaki, Tommi Mikkonen -- Web linking-based protocols for guiding restful m2m interaction / Jesus Bellido, Rosa Alarcon, Cristian Sepulveda -- Batched transactions for restful web services / Sebastian Kochman, Pawel T. Wojciechowski, Milosz Kmieciak -- Secure mashup-providing platforms -- implementing encrypted wiring / Matthias Herbert [and others] -- A conceptual framework for linked data exploration / Alessandro Bozzon [and others] -- Support for reusable explorations of linked data in the semantic web / Marcelo Cohen, Daniel Schwabe -- Generation of semantic clouds based on linked data for efficient multimedia semantic annotation / Han-Gyu Ko, In-Young Ko -- Ontology based segmentation of geo-referenced queries / Mamoun Abu Helou -- SimSpectrum: a similarity based spectral clustering approach to generate a tag cloud / Frederico Durao [and others] -- Graph access pattern diagrams (GAP-D): towards a unified approach for modeling navigation over hierarchical, linear and networked structures / Matthias Keller, Martin Nussbaumer -- Data-Driven and user-driven multidimensional data visualization / Rober Morales-Chaparro, Juan C. Preciado, Fernando Sanchez-Figueroa -- Context-Aware and adaptive web interfaces: a crowdsourcing approach / Michael Nebeling, Moira C. Norrie -- Massive multiplayer human computation for fun, money, and survival / Lukas Biewald -- Enterprise crowdsourcing solution for software development in an outsourcing organization / Ranganathan Jayakanthan, Deepak Sundararajan -- A model-driven framework for developing web service oriented applications / Achilleas Achilleos, Georgia M. Kapitsaki, George A. Papadopoulos -- Developing enterprise web applications using the story driven modeling approach / Christoph Eickhoff [and others] -- Aspect-Oriented modeling of web applications with HiLA / Gefei Zhang, Matthias Holzl -- Model-Driven web form validation with UML and OCL / Eban Escott [and others] -- Modernization of legacy web applications into rich internet applications / Roberto Rodriguez-Echeverria [and others] -- Quality models for web [2.0] sites: a methodological approach and a proposal / Roberto Polillo -- Exploring the quality in use of web 2.0 applications: the case of mind mapping services / Tihomir Orehovacki, Andrina Granic, Dragutin Kermek -- Detecting conflicts and inconsistencies in web application requirements / Matias Urbieta [and others] -- Streamlining complexity: conceptual page re-modeling for rich internet applications / Andrea Pandurino [and others] -- A flexible graph-based data model supporting incremental schema design and evolution / Katrin Braunschweig, Maik Thiele, Wolfgang Lehner -- ProLD: propagate linked data / Peter Kalchgruber -- Casual relation detection for activities from heterogeneous sources / Philipp Katz, Alexander Schill -- XML document versioning, revalidation and constraints / Jakub Maly, Martin Necasky -- A reuse-oriented product-line method for enterprise web applications / Neil Mather, Samia Oussena -- A flexible architecture for client-side adaptation / Sergio Firmenich [and others] -- Applications of mobile application interface description language MAIDL / Prach Chaisatien, Korawit Prutsachainimmit, Takehiro Tokuda -- A domain-specific language for do-it-yourself analytical mashups / Julian Eberius, Maik Thiele, Wolfgang Lehner -- Information extraction from web pages based on their visual representation / Ruslan R. Fayzrakhmanov -- End-User programming for web mashups: open research challenges / Saeed Aghaee, Cesare Pautasso -- Multi-dimensional context-aware adaptation for web applications / Vivian Genaro Motti, Jean Vanderdonckt -- Engineering the personal social semantic web / Fabian Abel, Geert-Jan Houben -- Automating the use of web APIs through lightweight semantics / Maria Maleshkova [and others] -- Improving quality in use of web applications in a systematic way / Philip Lew, Juis Olsina. |
| Record Nr. | UNISA-996465689903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Finite difference computing with exponential decay models / Hans Petter Langtangen
| Finite difference computing with exponential decay models / Hans Petter Langtangen |
| Autore | Langtangen, Hans P. |
| Pubbl/distr/stampa | Cham, : Springer Open, 2016 |
| Descrizione fisica | XIV, 200 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 34-XX - Ordinary differential equations [MSC 2020] |
| Soggetto non controllato |
Exponential decay models
Finite-difference methods Ordinary differential equations Python programming Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114771 |
Langtangen, Hans P.
|
||
| Cham, : Springer Open, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke
| The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke |
| Autore | Goericke Stephan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XXI, 257 p. 58 illus., 47 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 |
Computer science
Software engineering Management information systems |
| ISBN | 3-030-29509-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910366656203321 |
|
Goericke Stephan
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke
| The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke |
| Autore | Goericke Stephan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XXI, 257 p. 58 illus., 47 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 |
Computer science
Software engineering Management information systems |
| ISBN | 3-030-29509-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465465103316 |
|
Goericke Stephan
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Managed Software Evolution [[electronic resource] /] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
| Managed Software Evolution [[electronic resource] /] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin |
| Autore | Reussner Ralf |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XXII, 426 p. 160 illus., 79 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Computers Software Engineering Software Management Management of Computing and Information Systems Theory of Computation |
| Soggetto non controllato |
Computer science
Software engineering Management information systems Computers |
| ISBN | 3-030-13499-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introducing Managed Software Evolution -- 2 The Nature of Software Evolution -- 3 Addressed Challenges -- 4 Introduction to Case Studies -- 5 Tacit Knowledge in Software Evolution -- 6 Continuous Design Decision Support -- 7 Model-based Round-Trip Engineering and Testing of Evolving Software Product Lines -- 8 Performance Analysis Strategies for Software Variants and Versions -- 9 Maintaining Security in Software Evolution -- 10 Learning from Evolution for Evolution -- 11 Formal Verication of Evolutionary Changes -- 12 Case Studies for the Community -- 13 Lessons Learned -- 14 Future Research. |
| Record Nr. | UNINA-9910337857603321 |
|
Reussner Ralf
|
||
| Cham, : Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands
| Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands |
| Autore | Nielson Flemming |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Software engineering Artificial intelligence Computer system failures Computers Systems and Data Security Software Engineering/Programming and Operating Systems Artificial Intelligence System Performance and Evaluation Computing Milieux Theory of Computation |
| Soggetto non controllato |
Computer science
Computer security Software engineering Artificial intelligence Computer system failures Computers |
| ISBN | 3-030-17138-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts. |
| Record Nr. | UNINA-9910337564003321 |
|
Nielson Flemming
|
||
| Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands
| Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands |
| Autore | Nielson Flemming |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Software engineering Artificial intelligence Computer system failures Computers Systems and Data Security Software Engineering/Programming and Operating Systems Artificial Intelligence System Performance and Evaluation Computing Milieux Theory of Computation |
| Soggetto non controllato |
Computer science
Computer security Software engineering Artificial intelligence Computer system failures Computers |
| ISBN | 3-030-17138-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts. |
| Record Nr. | UNISA-996466304203316 |
|
Nielson Flemming
|
||
| Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Requirements engineering and management for software development projects / / Murali Chemuturi ; foreword by Tome Gilb
| Requirements engineering and management for software development projects / / Murali Chemuturi ; foreword by Tome Gilb |
| Autore | Chemuturi Murali |
| Pubbl/distr/stampa | New York, : Springer, 2013 |
| Descrizione fisica | 1 online resource (274 p.) |
| Disciplina | 005.13/3 |
| Soggetto topico |
Computer software - Development
Software engineering |
| Soggetto non controllato |
Computer science
Operating systems (Computers) Computer system performance Software engineering Engineering System Performance and Evaluation Performance and Reliability Operating Systems Programming Techniques |
| ISBN |
1-283-90964-2
1-4614-5377-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Requirements Engineering and Management -- Understanding Requirements -- Elicitation and Gathering of Requirements -- Requirements Analysis -- Establishment of Requirements -- Quality Assurance in Requirements Management -- Planning for Requirements Management -- Requirements Change Management -- Requirements Tracing, Tracking and Reporting -- Measurement and Metrics -- Roles and Responsibilities in REM -- Requirements Management through SDLC -- Tools and Techniques for Requirements Engineering and Management -- Pitfalls and Best Practices in Requirements Engineering and Management -- REM in Agile Projects. |
| Record Nr. | UNINA-9910437585603321 |
|
Chemuturi Murali
|
||
| New York, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Search Based Software Engineering [[electronic resource] ] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings / / edited by Myra B. Cohen, Mel O Cinneide
| Search Based Software Engineering [[electronic resource] ] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings / / edited by Myra B. Cohen, Mel O Cinneide |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XV, 279 p. 54 illus., 26 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Computer programming Computers Software Engineering Operating Systems Programming Techniques Computation by Abstract Devices |
| Soggetto genere / forma | Conference papers and proceedings. |
| Soggetto non controllato | Software engineering |
| ISBN | 3-642-23716-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Search-based program analysis / Andreas Zeller -- Exploiting decomposability using recombination in genetic algorithms: an exploratory discussion / Darrell Whitley. |
| Record Nr. | UNISA-996466042403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||