Trends and Applications in Software Engineering, Jezreel Mejia; Mirna Mu?oz; ?lvaro Rocha; Yadira Q
Автор: Jezreel Mejia; Mirna Mu?oz; ?lvaro Rocha; Tomas Sa Название: Trends and Applications in Software Engineering ISBN: 3319485229 ISBN-13(EAN): 9783319485225 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book offers a selection of papers from the 2016 International Conference on Software Process Improvement (CIMPS’16), held between the 12th and 14th of October 2016 in Aguascalientes, Aguascalientes, M?xico. The CIMPS’16 is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the different aspects of software engineering with a focus on, but not limited to, software processes, security in information and communication technology, and big data.
The main topics covered include: organizational models, standards and methodologies, knowledge management, software systems, applications and tools, information and communication technologies and processes in non-software domains (mining, automotive, aerospace, business, health care, manufacturing, etc.) with a clear focus on software process challenges.
Автор: Jezreel Mejia; Mirna Mu?oz; Alvaro Rocha; Jose Cal Название: Trends and Applications in Software Engineering ISBN: 3319262831 ISBN-13(EAN): 9783319262833 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Project Management in Small-sized Software Enterprises: A Metamodeling-based Approach.- Can User Stories and Use Cases Be Used in Combination in A Same Project? A Systematic Review.- Addressing Product Quality Characteristics Using the ISO/IEC 29110.- Analysis of Coverage of Moprosoft Practices In Curricula Programs Related to Computer Science and Informatics.- ProPAM/Static: A Static View of a Methodology for Process and Project Alignment.- Proposal a Hybrid Process to Manage Vulnerabilities in Web Applications.- Establishing the State of the Art of Frameworks, Methods and Methodologies Focused on Lightening Software Process: A Systematic Literature Review.- Structure of a Multi-model Catalog for Software Projects Management Including Agile and Traditional Practices.- Situational Factors Which Have an Impact On The Successful Usage of An Agile Methodology For Software Maintenance: An Empirical Study.- Definition and Implementation of the Enterprise Business Layer Through a Business Reference Model, Using the Architecture Development Method ADM-TOGAF.- Towards the Creation of a Semantic Repository of iStar-Based Context Models.- Operations Research Ontology for the Integration of Analytic Methods and Transactional Data.- How to Think Like a Data Scientist. Application of a Variable Order Markov Model to Indicators Management.- Defect Prediction in Software Repositories with Artificial Neural Networks.-;Reverse Engineering Process for the Generation of UML Diagrams in Web Services Composition.- Evaluating and Comparing Perceptions Between Undergraduate Students and Practitioners in Controlled Experiments for Requirements Prioritization.- Search-Based Software Engineering to Construct Binary Test-Suites.- The Use of Simulation Software for the Improving the Supply Chain: The Case of Automotive Sector.- App Reviews: Breaking the User and Developer Language Barrier.- A Computational Measure of Saliency of the Shape Of 3D Objects.- An Open Cloud-Based Platform for Multi-Device Educational Software Generation.- Promoting e-Commerce Software Platforms Adoption as a Means to Overcome Domestic Crises: The Cases of Portugal and Spain Approached From a Focus-Group Perspective.- Multi-tabletop System to Support Collaborative Design Assessment.- Creativity as a key ingredient of Information Systems.- Decreasing Rework in Video Games Development from a Software Engineering Perspective.- Emerging Industrial Visualization Systems: the Challenges and Opportunities of Virtual and Immersive Reality Technologies.
Автор: Roger Lee; Naohiro Ishii Название: Software Engineering Research, Management and Applications 2009 ISBN: 3642261108 ISBN-13(EAN): 9783642261107 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods and tools, requirements engineering, computer security, database retrieval and more. This book offers 17 papers voted as best of the conference.
Автор: Roger Lee; Naohiro Ishii Название: Software Engineering Research, Management and Applications 2009 ISBN: 3642054404 ISBN-13(EAN): 9783642054402 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods and tools, requirements engineering, computer security, database retrieval and more. This book offers 17 papers voted as best of the conference.
Описание: This volume of Springer`s Studies in Computational Intelligence features a dozen outstanding papers from SERA 2011, covering a range of key topics that take in theory, applications and tools, as well as ways in which practical challenges have been overcome.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Автор: Roger Lee Название: Software Engineering Research, Management and Applications ISBN: 3319009478 ISBN-13(EAN): 9783319009476 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Security Certification Model for Mobile.- On Formalising Policy Refinement in Grid Virtual Organisations.- Exploring a Model-Oriented and Executable Syntax for UML Attributes.- A Case Study in Defect Measurement and Root Cause Analysis in a Turkish Software Organization.- Extending UML/MARTE-GRM For Integrating Tasks Migrations In Class Diagrams.- Towards a Protocol Algebra based on Algebraic Specifications.- A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification.- An Empirical Study on the Relationship between User Characteristics and Quality Factors for Effective Shopping Mall Websites Implementation.- Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity.- How Process Enactment Data Affects Product Defectiveness Prediction - A Case Study.- Modeling Business and Requirements Relationships for Architectural Pattern Selection.- Introducing Critical Thinking to Software Engineering Education.- Activity Diagrams Patterns for Modeling Business.- S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-oriented Processes.- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.- Repository-Centric Process Modeling Example of a Pattern Based Development Process.- Applying CBD to Build Mobile Service Applications.
Описание: This book presentshigh-quality original contributions on new software engineering models,approaches, methods, and tools and their evaluation in the context of defenceand security applications.
Автор: Roger Lee Название: Software Engineering Research, Management and Applications ISBN: 3319112643 ISBN-13(EAN): 9783319112640 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This edited book presents scientific results of the 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2014) held on August 31 - September 4, 2014 in Kitakyushu, Japan.
Автор: Roger Lee; Alain Abran; Olga Ormandjieva; Constant Название: Software Engineering Research, Management and Applications 2010 ISBN: 3642422462 ISBN-13(EAN): 9783642422461 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing.- Repairing Service Compositions in a Changing World.- Remote Automated User Testing: First Steps toward a General-Purpose Tool.- Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.- Code Generation for Autonomic Systems with ASSL.- A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications.- Development of Mobile Location-Based Systems with Component.- A New Compound Metric for Software Risk Assessment.- Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language.- A Survey on the Importance of Some Economic Factors in the Adoption of Open Source Software.- Verification of the Correctness in Composed UML Behavioural Diagrams.- Development of Mobile Agent on CBD.- Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML.- Study of One Dimensional Molecular Properties Using Python.- Comparing the Estimation Performance of the EPCU Model with the Expert Judgment Estimation Approach Using Data from Industry.- Investigating the Capability of Agile Processes to Support Life-Science Regulations: The Case of XP and FDA Regulations with a Focus on Human Factor Requirements.
Описание: This book features papers from the ACIS SERA 2012 conference. It examines the theory, applications and tools of software engineering research, management and applications. It also discusses practical challenges and offers solutions.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
