Описание: This work describes an approach to promoting program modularity. It presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support.
Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.
Автор: 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; 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 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 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.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
