Enterprise Information Systems : 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, Revised Selected Papers / / edited by José Cordeiro, Slimane Hammoudi, Leszek Maciaszek, Olivier Camp, Joaquim Filipe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XVII, 490 p. 178 illus.) |
Disciplina | 658.4038 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Management information systems Software engineering User interfaces (Computer systems) Information Systems Applications (incl. Internet) Business Information Systems Software Engineering User Interfaces and Human Computer Interaction Enterprise Architecture |
ISBN | 3-319-22348-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910299231703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Enterprise Information Systems : 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers / / edited by Slimane Hammoudi, José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 542 p. 238 illus.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Business Management science Software engineering User interfaces (Computer systems) Information Systems Applications (incl. Internet) Business and Management, general Software Engineering User Interfaces and Human Computer Interaction |
ISBN | 3-319-09492-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part: Invited Papers -- Challenges in Bridging Social Semantics and Formal Semantics on the Web -- Enterprise Architecture: Informed Steering of Enterprises in Motion -- Part: Databases and Information Systems Integration -- An Evaluation of Multi-way Joins for Relational Database Systems -- What Do We Know About ERP Integration? -- Fairtrace: Applying Semantic Web Tools and Techniques to the Textile Traceability -- Estimating Sufficient Sample Sizes for Approximate Decision Support Queries -- A Data-Driven Prediction Framework for Analyzing and Monitoring Business Process Performances -- An Overview of Experimental Studies on Software Inspection Process -- Part: Artificial Intelligence and Decision Support Systems -- Coordinating Agents in Dynamic Environment -- Optimizing Power, Heating, and Cooling Capacity on a Decision-Guided Energy Investment Framework -- Combining Fuzzy Ontology Reasoning and Mamdani Fuzzy Inference System with HyFOM Reasoner -- Business Intelligence for Improving Supply Chain Risk Management -- Part: Information Systems Analysis and Specification -- Bayesian Prediction of Fault-Proneness of Agile-Developed Object-Oriented System -- Foundation for Fine-Grained Security and DRM Control Based on a Service Call Graph Context Identification -- SourceMiner: Towards an Extensible Multi-perspective Software Visualization Environment -- Capturing Semiotic and Social Factors of Organizational Evolution -- The Change Impact Analysis in BPM Based Software Applications: A Graph Rewriting and Ontology Based Approach -- Reengineering of Object-Oriented Software into Aspect-Oriented Ones Supported by Class Models -- Re-learning of Business Process Models from Legacy System Using Incremental Process Mining -- On the ‘Impossibility’ of Critical and Emancipatory Design Science Research -- Part: Software Agents and Internet Computing -- Tweeting Politicians: An Analysis of the Usage of a Micro Blogging System -- Cloud-Based Collaborative Business Services Provision -- An Architecture for Health Information Exchange in Pervasive Healthcare Environment -- Part: Human-Computer Interaction -- Dealing with Usability in Model-Driven Development Method -- Optimizing the User Interface of a First-Aid App: A ‘‘Realistic’’ Usability Study with the Smartphone Application ‘‘Defi Now!’’ -- Self-Service Classroom Capture Generating Interactive Multivideo Objects -- Part: Enterprise Architecture -- Analysing the M&A Preparedness Building Approach -- From Gaps to Transformation Paths in Enterprise Architecture Planning -- An Automated Architectural Evaluation Approach Based on Metadata and Code Analysis -- Joining Data and Maps in the Government Enterprise Architecture by a Semantic Approach: Methodology, Ontology and Case Study -- Blueprint of a Semantic Business Process-Aware Enterprise Information Architecture: The EIAOnt Ontology. |
Record Nr. | UNINA-9910298972903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Enterprise Information Systems : 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers / / edited by José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XX, 490 p. 171 illus.) |
Disciplina | 658.4038 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Information technology
Business—Data processing Application software Software engineering User interfaces (Computer systems) IT in Business Information Systems Applications (incl. Internet) Software Engineering User Interfaces and Human Computer Interaction |
ISBN | 3-642-40654-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Invited Papers -- An Engineering Approach for the Design of Hybrid Modelling Methods -- Requirements Engineering for Emergent Application Software -- Blog Preservation: Current Challenges and a New Paradigm -- Part II: Databases and Information Systems Integration -- Social Information Systems: Agility without Chaos -- Finding Semi-automatically a Greatest Common Model Thanks to Formal Concept Analysis -- Advanced Product Lifecycle Management by Introducing Domain-specific Service Buses -- Matcher Composition Methods for Automatic Schema Matching -- An SNMP File system in User space -- Exploring Similarity Relations According to Different Contexts in Mining Generalized Association Rules -- Part II: Artificial Intelligence and Decision Support Systems -- Models for Human Computer Interaction in Scheduling Applications -- Combining Learning Algorithms: An Approach to Markov Decision Processes -- Part III: Information Systems Analysis and Specification -- Building Domain-specific Modeling Languages for Frameworks -- Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing -- Towards a Leaner Evaluation Process: Application to Error Correction Systems -- Using Information Visualization and Text Mining to Facilitate the Conduction of Systematic Literature Reviews -- Accelerating Crosscutting Framework Reuse using a Model-based Approach -- Large-scale Enterprise Systems: Changes and Impacts -- Part IV: Software Agents and Internet Computing -- Bringing Diversity to Recommendation Lists – An Analysis of the Placement of Diverse Items -- Time Efficiency of Point-of-Sale Payment Methods: Empirical Results for Cash, Cards and Mobile Payments -- Part V: Human-Computer Interaction -- User-centric Data Integration with the Mapping Assistant -- Introducing New Technology in Educational Contexts: Schools as Organizations -- Values and Cultural Aspects in Design: Artifacts for Making Them Explicit in Design Activities -- Composing Interface Demonstrations Automatically from Usage Logs -- Measuring Users' Emotions with a Component-based Approach -- Pragmatic Aspects of Collaborative Problem Solving: Towards a Framework for Conceptualizing Dynamic Knowledge -- Part VI: Enterprise Architecture -- Formalizing Meta Models with FDMM: The ADOxx Case -- The Enterprise Architecture Body of Knowledge as an Evolving Discipline -- A Literature Review of Business/IT Alignment Strategies. |
Record Nr. | UNINA-9910437577403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evaluation of Novel Approaches to Software Engineering : 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers / / edited by Leszek A. Maciaszek, Joaquim Filipe |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XI, 195 p. 38 illus. in color.) |
Disciplina | 005.1 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Management information systems Computer science Application software Information technology Business—Data processing Software Engineering Management of Computing and Information Systems Information Systems Applications (incl. Internet) IT in Business |
ISBN | 3-319-30243-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Service Science and Business Information Systems -- Software Engineering -- Mobile Software and Systems. |
Record Nr. | UNINA-9910254986303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evaluation of Novel Approaches to Software Engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers / / edited by Leszek A. Maciaszek, Joaquim Filipe |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 245 p. 91 illus.) |
Disciplina | 005.1 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Management information systems Computer science Information technology Business—Data processing Computer simulation Computer organization Computer logic Software Engineering Management of Computing and Information Systems IT in Business Simulation and Modeling Computer Systems Organization and Communication Networks Logics and Meanings of Programs |
ISBN | 3-319-56390-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Advancing Negative Variability in Model-driven Software Product Line Engineering -- A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View -- Model-based Engineering and Spatiotemporal Analysis of Transport Systems -- Quantitative and Qualitative Empirical Analysis of Three Feature Modeling Tools -- Towards a Secure RA2DL Based Approach -- AHR: Human-centered Aspects of Test Design -- Software Engineering Foundations of Zoetic Data and Totally Functional Programming -- Towards Modeling and Implementation of Reliability and Usability Features for Research-oriented Cloud Computing Platforms -- An Improved Method Level Bug Localization Approach Using Minimized Code Space -- How Interesting Are Suggestions of Coupled File Changes for Software Developers -- A Systematic Literature Review on Cloud Computing Adoption and Migration. p>. |
Record Nr. | UNINA-9910254989703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evaluation of Novel Approaches to Software Engineering : 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers / / edited by Leszek A. Maciaszek, Joaquim Filipe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XI, 169 p. 44 illus. in color.) |
Disciplina | 005.1 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Management information systems Computer science Application software Information technology Business—Data processing Software Engineering Management of Computing and Information Systems Information Systems Applications (incl. Internet) IT in Business |
ISBN | 3-319-27218-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reducing the Level of Complexity of Working with Model Transformations -- Learning from the Current Status of Agile Adoption -- A Case Study Investigation of a Lightweight, Systematic Elicitation Approach for Enterprise Architecture Requirements -- Using a Domain Specific Language for Lightweight Model-Driven Development -- A Study of the Relationship between Class Testability and Runtime Properties -- Online Testing: A Passive Approach for Protocols -- Experiences of Use of a Multi-Domain Tool for Collaborative Software Engineering Tasks -- Taking Seriously Software Projects Inception through Games. Natural Language Generation Approach for Automated Generation of Test Cases from Logical Specification of Requirements -- Visualization, Simulation and Validation for Cyber-Virtual Systems -- Mobile Application Estimate the Design Phase. |
Record Nr. | UNINA-9910299260103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evaluation of Novel Approaches to Software Engineering [[electronic resource] ] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers / / edited by Joaquim Filipe, Leszek A. Maciaszek |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 257 p. 93 illus.) |
Disciplina | 005.1 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Computer logic Information technology Business—Data processing Programming languages (Electronic computers) Application software Management information systems Computer science Software Engineering Logics and Meanings of Programs IT in Business Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
Soggetto genere / forma | Conference papers and proceedings. |
Soggetto non controllato | ENASE |
ISBN | 3-642-54092-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Designing a virtual reality software -- An experiment on self-configuring database queries -- Automated COSMIC-based analysis and consistency verification -- An MDE approach to develop mobile-agents applications. |
Record Nr. | UNINA-9910437579403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evaluation of Novel Approaches to Software Engineering : 7th International Conference, ENASE 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected Papers / / edited by Leszek A. Maciaszek, Joaquim Filipe |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 173 p. 49 illus.) |
Disciplina | 005.1 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Application software Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
ISBN | 3-642-45422-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910437563503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Informatics in Control, Automation and Robotics : 11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2014 Revised Selected Papers / / edited by Joaquim Filipe, Oleg Gusikhin, Kurosh Madani, Jurek Sasiadek |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (322 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Control engineering
Robotics Automation Artificial intelligence Control and Systems Theory Robotics and Automation Artificial Intelligence |
ISBN | 3-319-26453-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Text Categorization Methods Application for Natural Language Call Routing -- ECG Signals for Biometric Applications - Are we there yet -- Contactless Thin-Layered Torque Sensor Module with Fully-digital Signal Processing Circuit -- Object Contour Reconstruction using Bio-inspired Sensors -- Sliding Mode Control of Linear Time-varying Systems - Application to Trajectory Tracking Control of Nonlinear Systems -- A Pursuit-evasion Game Between Unmanned Aerial Vehicles -- Means for Finding Meaningful Levels of a Hierarchical Sequence Prior to Performing a Cluster Analysis -- A Multi-layer Approach for Interactive Path Planning Control -- Detection and Tracking of Dynamic Objects using 3D Laser Range Sensor on a Mobile Platform -- A Comparison of General-Purpose FOSS Compression Techniques for Efficient Communication in Cooperative Multi-Robot Tasks -- Enhanced Physical Interaction Performance for Compliant Joint Manipulators using Proxy-based Sliding Mode Control -- Hand-projector Self-calibration Using Structured Light -- Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible OS Tasks -- Adaptive Control of Position Compensation for Cable-Conduit Mechanisms Used in Flexible Surgical Robots -- Soil Strength-based Estimation of Optimal Control Parameters for Wheeled Robots on Rough Terrain -- Design of Safe Reactional Controller for Chamber Pressure in Climbing Robot CREA. |
Record Nr. | UNINA-9910254185903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers / / edited by Joaquim Filipe, Kurosh Madani, Oleg Gusikhin, Jurek Sasiadek |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (413 p.) |
Disciplina | 629.8312 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Control engineering
Robotics Automation Artificial intelligence Control and Systems Theory Robotics and Automation Artificial Intelligence |
ISBN | 3-319-31898-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Intelligent Control Systems and Optimization -- Robotics and Automation -- Signal Processing, Sensors, Systems Modelling and Control. |
Record Nr. | UNINA-9910254219203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|