close
1.

電子ジャーナル
ＥＪ
1. Scientific Programming
出版情報: EBSCOhost Academic Search Premier , UNITED STATES : IOS Press
所蔵情報: loading…
2.

電子ジャーナル
ＥＪ
2. Markup languages
出版情報: EBSCOhost Academic Search Premier , Cambridge, Mass. : MIT Press
所蔵情報: loading…
3.

電子ジャーナル
ＥＪ
3. International journal of high speed computing
出版情報: EBSCOhost Academic Search Premier , Singapore : World Scientific
所蔵情報: loading…
4.

電子ジャーナル
ＥＪ
4. Canadian Journal of Information and Library Science
出版情報: EBSCOhost Academic Search Premier , CANADA : University of Toronto Press
所蔵情報: loading…
5.

電子ジャーナル
ＥＪ
5. International Journal of Information Security
出版情報: EBSCOhost Academic Search Premier , GERMANY : Springer Nature
所蔵情報: loading…
6.

電子ジャーナル
ＥＪ
6. Software and Systems Modeling
出版情報: EBSCOhost Academic Search Premier , GERMANY : Springer Berlin Heidelberg
所蔵情報: loading…
7.

電子ジャーナル
ＥＪ
7. International Journal of Parallel Programming
出版情報: EBSCOhost Academic Search Premier , UNITED STATES : Springer Nature
所蔵情報: loading…
8.

電子ジャーナル
ＥＪ
8. EMedia Magazine
出版情報: EBSCOhost Academic Search Premier , Wilton, CT : Information Today Inc.
所蔵情報: loading…
9.

電子ジャーナル
ＥＪ
9. Mathematics of Control, Signals, and Systems (MCSS)
出版情報: EBSCOhost Academic Search Premier , ENGLAND : Springer London
所蔵情報: loading…
10.

電子ジャーナル
ＥＪ
10. Electronics Systems and Software
出版情報: EBSCOhost Academic Search Premier , Stevenage, Herts., U.K. : Institution of Electrical Engineers
所蔵情報: loading…
11.

電子ジャーナル
ＥＪ
11. Engineering computations
出版情報: Emerald Engineering eJournal Collection , WALES : Pineridge Press
所蔵情報: loading…
12.

電子ジャーナル
ＥＪ
12. Journal of computational physics
出版情報: Elsevier ScienceDirect Journals Complete , UNITED STATES : Academic Press
所蔵情報: loading…
13.

電子ジャーナル
ＥＪ
13. Advances in engineering software (1978)
出版情報: Elsevier ScienceDirect Journals Complete , Southampton : Elsevier
所蔵情報: loading…
14.

電子ジャーナル
ＥＪ
14. Journal of combinatorial theory. Series A
出版情報: Elsevier ScienceDirect Journals Complete , UNITED STATES : Academic Press
所蔵情報: loading…
15.

電子ジャーナル
ＥＪ
15. Management Technology
出版情報: JSTOR Arts and Sciences IV , New York : INFORMS
所蔵情報: loading…
16.

電子ジャーナル
ＥＪ
16. Machine Translation
出版情報: JSTOR Arts and Sciences VI , [Dordrecht] : Springer
所蔵情報: loading…
17.

電子ジャーナル
ＥＪ
17. Journal of logic and computation
出版情報: NII-REO OUP Archive Full , ENGLAND : Oxford University Press
所蔵情報: loading…
18.

電子ジャーナル
ＥＪ
18. Journal of logic and computation
出版情報: Oxford University Press Journals Current , ENGLAND : Oxford University Press
所蔵情報: loading…
19.

電子ジャーナル
ＥＪ
19. Lecture Notes in Computer Science
出版情報: SpringerLink Series , Berlin : Springer
所蔵情報: loading…
20.

電子ジャーナル
ＥＪ
20. International journal of software engineering and knowledge engineering
出版情報: World Scientific , Singapore : World Scientific
所蔵情報: loading…
21.

電子ジャーナル
ＥＪ
21. The Journal of systems and software
出版情報: Elsevier ScienceDirect Journals Complete , UNITED STATES : Elsevier
所蔵情報: loading…
22.

電子ジャーナル
ＥＪ
22. Computer aided geometric design
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : North-Holland
所蔵情報: loading…
23.

電子ジャーナル
ＥＪ
23. Science of computer programming
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
24.

電子ジャーナル
ＥＪ
24. Journal of algorithms
出版情報: Elsevier ScienceDirect Journals Complete , Orlando, Fla. : Academic Press
所蔵情報: loading…
25.

電子ジャーナル
ＥＪ
25. Environmental software
出版情報: Elsevier ScienceDirect Journals Complete , Southampton, England : Elsevier
所蔵情報: loading…
26.

電子ジャーナル
ＥＪ
26. Calphad (New York. Print)
出版情報: Elsevier ScienceDirect Journals Complete , ENGLAND : Pergamon
所蔵情報: loading…
27.

電子ジャーナル
ＥＪ
27. Mathematics and computers in simulation
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier Science
所蔵情報: loading…
28.

電子ジャーナル
ＥＪ
28. The journal of logic programming
出版情報: Elsevier ScienceDirect Journals Complete , New York, NY : North-Holland
所蔵情報: loading…
29.

電子ジャーナル
ＥＪ
29. Journal of parallel and distributed computing
出版情報: Elsevier ScienceDirect Journals Complete , UNITED STATES : Academic Press
所蔵情報: loading…
30.

電子ジャーナル
ＥＪ
30. Information and software technology
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
31.

電子ジャーナル
ＥＪ
31. Computing systems in engineering
出版情報: Elsevier ScienceDirect Journals Complete , Elmsford, NY : Pergamon
所蔵情報: loading…
32.

電子ジャーナル
ＥＪ
32. Advances in engineering software and workstations
出版情報: Elsevier ScienceDirect Journals Complete , Southampton : Elsevier
所蔵情報: loading…
33.

電子ジャーナル
ＥＪ
33. Journal of strategic information systems
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : North-Holland
所蔵情報: loading…
34.

電子ジャーナル
ＥＪ
34. Environmental modelling & software
出版情報: Elsevier ScienceDirect Journals Complete , ENGLAND : Elsevier
所蔵情報: loading…
35.

電子ジャーナル
ＥＪ
35. Journal of systems architecture
出版情報: Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier
所蔵情報: loading…
36.

電子ジャーナル
ＥＪ
36. Computers and composition
出版情報: Elsevier ScienceDirect Journals Complete , [Michigan?] : Elsevier Science
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Agility Across Time and Space
Darja ?mite, Darja #mite, Nils Brede Moe, Darja Smite
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Agile Software Development
Torgeir Dings?yr, Torgeir Dings?yr, Tore Dyb?, Tore Dyb?, Nils Brede Moe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Distributed, Parallel and Biologically Inspired Systems
Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Distributed and Parallel Embedded Systems (DIPES 2010)
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann
Opening and Keynote
Safety, Efficiency and Autonomy-Mastering Conflicting Trends in Embedded Systems Design / Rolf Ernst
Specification and Modeling
Rialto 2.0: A Language for Heterogeneous Computations / Johan Lilius ; Andreas Dahlin ; Lionel Morel
Scenario-Based Modeling in Industrial Information Systems / Ricardo J. Machado ; João M. Fernandes ; João P. Barros ; Luís Gomes
An Entirely Model-Based Framework for Hardware Design and Simulation / Safouan Taha ; Ansgar Radermacher ; Sébastien Gérard
Extending the Standard Execution Model of UML for Real-Time Systems / Abderraouf Benyahia ; Arnaud Cuccuru ; François Terrier ; Frédéric Boulanger
Fault Tolerance
Task Migration for Fault-Tolerant FlexRay Networks / Kay Klobedanz ; Gilles B. Defo ; Henning Zabel ; Wolfgang Mueller ; Yuan Zhi
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems / Luís Nogueira ; Luís Miguel Pinho ; Jorge Coelho
Verification and Validation
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems / Alexander Bol ; Alexander Krupp ; Ola Lundkvist
Model Checking of Concurrent Algorithms: From Java to C / Cyrille Artho ; Masami Hagiya ; Watcharin Leungwattanakit ; Yoshinori Tanabe ; Mitsuharu Yamamoto
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services / Sufyan Samara ; Yuhong Zhao ; Franz J. Rammig
Efficient Mutation-Analysis Coverage for Constrained Random Verification / Tao Xie ; Florian Letombe
Code-Generation, Simulation and Timing Analysis
Generating VHDL Source Code from UML Models of Embedded Systems / Tomás G. Moreira ; Marco A. Wehrmeister ; Carlos E. Pereira ; Jean-François Pétin ; Eric Levrat
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors / Roshan Ragel ; Angelo Ambrose ; Jorgen Peddersen ; Sri Parameswaran
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement / Markus Becker
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems / Steffen Kollmann ; Victor Pollex ; Frank Slomka
Distributed Architectures and Design Support
Dependency-Driven Distribution of Synchronous Programs / Daniel Baudisch ; Jens Brandt ; Klaus Schneider
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC / Philipp A. Hartmann ; Kim Grüttner ; Achim Rettberg ; Ina Podolski
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems / Frédéric Fauberteau ; Serge Midonnet ; Laurent George
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems / Claudius Stern ; Philipp Adelt ; Matthias Schmitz
Biologically-Inspired Collaborative Computing (BICC 2010)
Ants and Adaptive Systems / Peter Lindsay ; Mike Hinchey ; Jon Timmis
Model Checking the Ant Colony Optimisation / Lucio Mauro Duarte ; Luciano Foss ; Flávio Rech Wagner ; Tales Heimfarth
Feature Selection for Classification Using an Ant System Approach / Nadia Abd-Alsabour
Novelty-Aware Attack Recognition-Intrusion Detection with Organic Computing Techniques / Dominik Fisch ; Ferdinand Kastl ; Bernhard Sick
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms / Wenjing Zhao ; Jiangjun Tang ; Sameer Alam ; Axel Bender ; Hussein A. Abbass
Learning Classifier Systems and Collaborative Systems
A Collaborative Decision Support Model for Marine Safety and Security Operations / Uwe Glässer ; Piper Jackson ; Ali Khalili Araghi ; Hans Wehn ; Hamed Yaghoubi Shahir
Combining Software and Hardware LCS for Lightweight On-Chip Learning / Andreas Bernauer ; Johannes Zeppenfeld ; Oliver Bringmann ; Andreas Herkersdorf ; Wolfgang Rosenstiel
Collaborating and Learning Predators on a Pursuit Scenario / Nugroho Fredivianus ; Urban Richter ; Hartmut Schmeck
SelSta-A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking / Bojan Jakimovski ; Michael Kotke ; Martin Hörenz ; Erik Maehle
Author Index
Distributed and Parallel Embedded Systems (DIPES 2010)
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann
Opening and Keynote
40.

電子ブック
ＥＢ
40. Systems, Software and Services Process Improvement
Andreas; O'Connor, Rory; Tichkiewitch, Serge Riel, Richard Messnarz, Rory O'Connor, Andreas Riel, Serge Tichkiewitch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Framework for Process Improvement in Software Product Management / Willem Bekkers ; Inge van de Weerd ; Marco Spruit ; Sjaak Brinkkemper
Graphical Technique to Support the Teaching/Learning Process of Software Process Reference Models / Ismael Edrein Espinosa-Curiel ; Josefina Rodríguez-Jacobo ; José Alberto Fernández-Zepeda
Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation / Paul Clarke ; Rory O'Connor
Team SPICE: A SPICE-Based Teamwork Assessment Model / Esperança Amengual ; Antònia Mas ; Antoni Lluís Mesquida
MATURE: A Model Driven bAsed Tool to Automatically Generate a Language that Supports CMMI Process Areas spEcification / David Musat ; Víctor Castaño ; Jose A. Calvo-Manzano ; Juan Garbajosa
Requirement Changes and Project Success: The Moderating Effects of Agile Approaches in System Engineering Projects / Sabine Maierhofer ; Ernst Stelzmann ; Markus Kohlbacher ; Björn Fellner
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application / Dietmar Winkler ; Frank Elberzhager ; Stefan Biffl ; Robert Eschbach
Improving Video Game Development: Facilitating Heterogeneous Team Collaboration through Flexible Software Processes / Juergen Musil ; Angelika Schweda
Improving IT Service Management Processes: A Case Study on IT Service Support / Antti Lahtela ; Marko Jäntti
Approach to Identify Internal Best Practices in a Software Organization / Calvo-Manzano Jose A. ; Cuevas Gonzalo ; Mejia Jezreel ; Muñoz Mirna ; San Feliu Tomás ; Sánchez Ángel ; Rocha Álvaro
Which Process Model Practices Support Project Success? / Marion Lepmets
How to Improve Process Models for Better ISO/IEC 15504 Process Assessment / Michel Picard ; Alain Renault ; Stéphane Cortina
The Tutelkan SPI Framework for Small Settings: A Methodology Transfer Vehicle / Gonzalo Valdes ; Hernán Astudillo ; Marcello Visconti ; Claudia López
Understanding the Perception of Very Small Software Companies towards the Adoption of Process Standards / Shuib Basri ; Rory V. O'Connor
Software Engineering Support Activities for Very Small Entities / Vincent Ribaud ; Philippe Saliou ; Claude Y. Laporte
Improving Software Development Process through Economic Mechanism Design / Murat Yilmaz ; John Collins
Impact of Growing Business on Software Processes / Natalja Nikitina ; Mira Kajko-Mattsson
The Rosetta Stone Methodology - A Benefits-Driven Approach to SPI / Fionbarr McLoughlin ; Ita Richardson
SPICE Level 3 - Experience with Using E-Learning to Coach the Use of Standard System Design Best Practices in Projects / R. Messnarz ; O. Bachmann ; D. Ekert ; A. Riel
Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto / Mikkel Yde Kjær ; Jens Bæk Jørgensen
Integrated Design - A Set of Competences and Skills Required by Systems and Product Architects / Andreas Riel
Agility Meets Systems Engineering: A Catalogue of Success Factors from Industry Practice / Christian Kreiner ; Gunther Spork ; Richard Messnarz ; Frank Koenig
How Green Is Your Black Belt? / Dick Theisens
Exploring Managerial Commitment towards SPI in Small and Very Small Enterprises / Gerry Coleman
Implementation of Software Process Improvement through TSPi in Very Small Enterprises / Edgar Caballero ; Gonzalo Cuevas ; Tomás San Feliu
Application of ISO/IEC 15504 in Very Small Enterprises / Antonia Mas
Author Index
A Framework for Process Improvement in Software Product Management / Willem Bekkers ; Inge van de Weerd ; Marco Spruit ; Sjaak Brinkkemper
Graphical Technique to Support the Teaching/Learning Process of Software Process Reference Models / Ismael Edrein Espinosa-Curiel ; Josefina Rodríguez-Jacobo ; José Alberto Fernández-Zepeda
Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation / Paul Clarke ; Rory O'Connor
41.

電子ブック
ＥＢ
41. Requirements Engineering
Elizabeth Hull, Jeremy Dick, Ken Jackson
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Introduction to Requirements / 1.1：
Introduction to Systems Engineering / 1.2：
Defining Requirements Engineering / 1.3：
Definition of a Requirement / 1.3.1：
Definition of a Stakeholder / 1.3.2：
Definition of Requirements Engineering / 1.3.3：
Requirements and Quality / 1.4：
Requirements and the Lifecycle / 1.5：
Requirements Tracing / 1.6：
Requirements and Modelling / 1.7：
Requirements and Testing / 1.8：
Requirements in the Problem and Solution Domains / 1.9：
How to Read this Book / 1.10：
A Generic Process for Requirements Engineering / 2：
Developing Systems / 2.1：
Generic Process Context / 2.3：
Input Requirements and Derived Requirements / 2.3.1：
Acceptance Criteria and Qualification Strategy / 2.3.2：
Generic Process Introduction / 2.4：
Ideal Development / 2.4.1：
Development in the Context of Change / 2.4.2：
Generic Process Information Model / 2.5：
Information Classes / 2.5.1：
Agreement State / 2.5.2：
Qualification State / 2.5.3：
Satisfaction State / 2.5.4：
Information Model Constraints / 2.5.5：
Generic Process Details / 2.6：
Agreement Process / 2.6.1：
Analyse and Model / 2.6.2：
Derive Requirements and Qualification Strategy Fig. 2.1.3 Portrays the Process for Deriving Requirements and Qualification Strategy / 2.6.3：
Summary / 2.7：
System Modelling for Requirements Engineering / 3：
Representations for Requirements Engineering / 3.1：
Data Flow Diagrams / 3.2.1：
Entity-Relationship Diagrams / 3.2.2：
Statecharts / 3.2.3：
Object-Oriented Approaches / 3.2.4：
Methods / 3.3：
Viewpoint Methods / 3.3.1：
Object-Oriented Methods / 3.3.2：
The UML Notation / 3.3.3：
Formal Methods / 3.3.4：
Writing and Reviewing Requirements / 3.4：
Requirements for Requirements / 4.1：
Structuring Requirements Documents / 4.3：
Key Requirements / 4.4：
Using Attributes / 4.5：
Ensuring Consistency Across Requirements / 4.6：
Value of a Requirement / 4.7：
The Language of Requirements / 4.8：
Requirement Boilerplates / 4.9：
Granularity of Requirements / 4.10：
Criteria for Writing Requirements Statements / 4.11：
Requirements Engineering in the Problem Domain / 4.12：
What is the Problem Domain? / 5.1：
Instantiating the Generic Process / 5.2：
Agree Requirements with Customer / 5.3：
Analyse & Model / 5.4：
Identify Stakeholders / 5.4.1：
Create Use Scenarios / 5.4.2：
Scoping the System / 5.4.3：
Derive Requirements / 5.5：
Define Structure / 5.5.1：
Capture Requirements / 5.5.2：
Define Acceptance Criteria / 5.5.3：
Define Qualification Strategy / 5.5.4：
Requirements Engineering in the Solution Domain / 5.6：
What is the Solution Domain / 6.1：
Engineering Requirements from Stakeholder Requirements to System Requirements / 6.2：
Producing the System Model / 6.2.1：
Creating System Models to Derive System Requirements / 6.2.2：
Banking Example / 6.2.3：
Car Example / 6.2.4：
Deriving Requirements from a System Model / 6.2.5：
Agreeing the System Requirements with the Design Team / 6.2.6：
Engineering Requirements from System Requirements to Subsystems / 6.3：
Creating a System Architecture Model / 6.3.1：
Deriving Requirements from an Architectural Design Model / 6.3.2：
Other Transformations Using a Design Architecture / 6.4：
Advanced Traceability / 6.5：
Elementary Traceability / 7.1：
Satisfaction Arguments / 7.3：
Requirements Allocation / 7.4：
Reviewing Traceability / 7.5：
The Language of Satisfaction Arguments / 7.6：
Rich Traceability Analysis / 7.7：
Rich Traceability for Qualification / 7.8：
Implementing Rich Traceability / 7.9：
Single-Layer Rich Traceability / 7.9.1：
Multi-Layer Rich Traceability / 7.9.2：
Design Documents / 7.10：
Metrics for Traceability / 7.11：
Breadth / 7.11.1：
Depth / 7.11.2：
Growth / 7.11.3：
Balance / 7.11.4：
Latent Change / 7.11.5：
Management Aspects of Requirements Engineering / 7.12：
Introduction to Management / 8.1：
Requirements Management Problems / 8.2：
Summary of Requirement Management Problems / 8.2.1：
Managing Requirements in an Acquisition Organisation / 8.3：
Planning / 8.3.1：
Monitoring / 8.3.2：
Changes / 8.3.3：
Supplier Organisations / 8.4：
Bid Management / 8.4.1：
Development / 8.4.2：
Product Organisations / 8.5：
DOORS: A Tool to Manage Requirements / 8.5.1：
The Case for Requirements Management / 9.1：
DOORS Architecture / 9.3：
Projects, Modules and Objects / 9.4：
DOORS Database Window / 9.4.1：
Formal Modules / 9.4.2：
Objects / 9.4.3：
Graphical Objects / 9.4.4：
Tables / 9.4.5：
History and Version Control / 9.5：
History / 9.5.1：
Baselining / 9.5.2：
Attributes and Views / 9.6：
Attributes / 9.6.1：
Views / 9.6.2：
Traceability / 9.7：
Links / 9.7.1：
Traceability Reports / 9.7.2：
Import and Export / 9.8：
UML Modelling with DOORS/Analyst / 9.9：
Bibliography / 9.10：
Index
Introduction / 1：
Introduction to Requirements / 1.1：
Introduction to Systems Engineering / 1.2：
42.

電子ブック
ＥＢ
42. The Future of Software Engineering
Sebastian Nanz, Sebastian Nanz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
Design Patterns - Past, Present & Future (Abstract) / Erich Gamma
Evidential Authorization / Andreas Blass ; Yuri Gurevich ; Michat Moskal ; Itay Neeman
Engineering and Software Engineering / Michael Jackson
Tools and Behavioral Abstraction: A Direction for Software Engineering / K. Rustan M. Leino
Precise Documentation: The Key to Better Software / David Lorge Parnas
Empirically Driven Software Engineering Research (Abstract) / Dieter Rombach
Component-based Construction of Heterogeneous Real-time Systems in BIP (Abstract) / Joseph Sifakis
Computer Science: A Historical Perspective and a Current Assessment (Abstract) / Niklaus Wirth
Internet Evolution and the Role of Software Engineering / Pamela Zave
Mining Specifications: A Roadmap / Andreas Zeller
Afterword
Greetings to Bertrand on the Occasion of his Sixtieth Birthday / Tony Hoare
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
43.

電子ブック
ＥＢ
43. Advances in Production Management Systems. New Challenges, New Approaches
Bruno Vallespir, Th?cle Alix, Th?cle Alix
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Lean Enterprise Software and Systems
Will van der Aalst, Pekka Abrahamsson, John Mylopoulos, Nilay Oza
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Scaling Agile to Lean
Scaling Agile to Lean - Track Summary / Kieran Conboy ; Vasco Duarte
Agile Transformation Study at Nokia - One Year After / Maarit Laanti
The Role of the User Story Agile Practice in Innovation / Colm O'hEocha
Lean/Agile Software Development Methodologies in Regulated Environments - State of the Art / Oisín Cawley ; Xiaofeng Wang ; Ita Richardson
Lean and Agile Project Management: For Large Programs and Projects / David F. Rico
When Agile Is Not Enough / Kati Vilkki
Refactoring the Organization / Ken Power
A Journey to Systemic Improvement (Abstract) / David Joyce
Complexity vs. Lean, the Big Showdown (Abstract) / Jurgen Appelo
Lean Product Development and Innovation
Lean Product Development and Innovation - Track Summary / Jayakanth Srinivasan ; Karl Scotland
A Tentative Framework for Lean Software Enterprise Research and Development / Petri Kettunen
What Is Flowing in Lean Software Development? / Vladimir Mandic ; Markku Oivo ; Pilar Rodríguez ; Pasi Kuvaja ; Harri Kaikkonen ; Burak Turhan
Leadership in Kanban Software Development Projects: A Quasi-controlled Experiment / Marko Ikonen
Distributing a Lean Organization: Maintaining Communication While Staying Agile / Sebastian Meyer ; Eric Knauss ; Kurt Schneider
Experience Report: Product Creation Through Lean Approaches / Henning Rudolf ; Frances Paulisch
Huitale - A Story of a Finnish Lean Startup / Marko Taipale
Kanban and Technical Excellence or: Why Daily Releases Are a Great Objective to Meet / Markus Andrezak ; Bernd Schiffer
Clean Delivery: An Experience Report of Collaborative Lean Software Delivery / Christian Blunden
Beyond Budgeting
Beyond Budgeting - Track Summary / Peter G. Bunce
Beyond Budgeting: A Performance Management Model for Software Development Teams / Garry Lohan ; Michael Lang
New Approach for Managing Lean-Agile Development: Overturning the Project Paradigm / Juha Rikkilä
Beyond Budgeting in Statoil (Abstract) / Bjarte Bogsnes
Case Study: The SpareBank 1 Gruppen's Road to a New Corporate Governance Based on the Principles of beyond Budgeting (Abstract) / Sigurd Aune
How the beyond Budgeting Management Model Enables Lean Thinking and the Agile Organization (Abstract)
Handelsbanken - Our Way (Abstract) / Pekka Vasankari
Dynamic Management in a Global Telecomms Business (Abstract) / Kenneth Hauge
Lean Implementation - Lead by Example (Abstract) / Heidi Pschibilla
Continue Your beyond Budgeting Journey with Help from Agile, Lean and Scrum (Abstract) / Helge Eikeland
Panels
Panel: Why Agile, Why Lean? / David Anderson ; Alan Shalloway
Keynotes
Fit Manufacturing / Duc Truong Pham ; Andrew J. Thomas ; P.T.N. Pham
Enabling Dynamic Capabilities through Agile IT and beyond Budgeting Practices / Martin Curley
Author Index
Scaling Agile to Lean
Scaling Agile to Lean - Track Summary / Kieran Conboy ; Vasco Duarte
Agile Transformation Study at Nokia - One Year After / Maarit Laanti
45.

電子ブック
ＥＢ
45. Advances in Information Technology
Borworn; Lavangnananda, Kittichai; Chutimaskul, Wichian Papasratorn, Wichian Chutimaskul, Kittichai Lavangnananda, Borworn Papasratorn, Vajirasak Vanijja
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evaluating a Novel Cellular Automata-Based Distributed Power Management Approach for Mobile Wireless Sensor Networks / Sepideh Adabi ; Sahar Adabi ; Ali Rezaee
Effects of Feature Selection Using Binary Particle Swarm Optimization on Wheat Variety Classification / Ahmet Babalik ; Ömer Kaan Baykan ; Hazim Iscan ; Ismail Babaoglu ; Oguz Findik
A Comparison of Artificial Intelligence Methods on Determining Coronary Artery Disease / Nazif Aygül ; Kurtulus Özdemir ; Mehmet Bayrak
Using Chaotic System in Encryption / Sirzat Kahramanli
Secure Medical Diagnosis Using Rule Based Mining / M.A. Saleem Durai ; N.Ch. Sriman Narayana Iyengar
Factors Affecting Intention to Use in Social Networking Sites: An Empirical Study on Thai Society / Rath Jairak ; Napath Sahakhunchai ; Kallaya Jairak ; Prasong Praneetpolgrang
A General Bayesian Network Approach to Analyzing Online Game Item Values and Its Influence on Consumer Satisfaction and Purchase Intention / Kun Chang Lee ; Bong- Won Park
U-BASE: General Bayesian Network-Driven Context Prediction for Decision Support / Heeryon Cho ; Sunyoung Lee
A Dynamic Bayesian Network Approach to Location Prediction in Ubiquitous Computing Environments
Information Management for Dependability / Paul Mason
A Prototype for the Support of Integrated Software Process Development and Improvement / Nalinpat Porrawatpreyakorn ; Gerald Quirchmayr ; Wichian Chutimaskul
The Effects of Organizational Experiences on Career Satisfaction of IT Postsecondary Teachers in Thailand / Theerapath Prawatrungruang ; Pruthikrai Mahatanankoon ; James Wolf ; Joaquin Vila-Ruiz
Knowledge-Centric Management of Business Rules in a Pharmacy / Juha Puustjärvi ; Leena Puustjärvi
Head Pose Estimation on Eyeglasses Using Line Detection and Classification Approach / Pisal Setthawong ; Vajirasak Vannija
Feature Selection for Neural Network Based Stock Prediction / Prompong Sugunnasil ; Samerkae Somhom
Design Concept for Garbage Bin with Situation Awareness Feature / Montri Supattatham ; Borworn Papasratorn
Application of Cellular Automata in Symmetric Key Cryptography / Miroslaw Szaban ; Jerzy Pawel Nowacki ; Aldona Drabik ; Franciszek Seredynski ; Pascal Bouvry
Detection of LiveLock in BPMN Using Process Expression / Nasi Tantitharanukul ; Watcharee Jumpamule
The Effect of Background Traffic Packet Size to VoIP Speech Quality / Tuul Triyason ; Prasert Kanthamanon ; Kittipong Warasup ; Siam Yamsaengsung
Classification of Internal Carotid Artery Doppler Signals Using Hidden Markov Model and Wavelet Transform with Entropy / Harun Uguz ; Halife Kodaz
Genetic Algorithm with Species for Regularization Network Metalearning / Roman Neruda ; Petra Vidnerová
Integrating Personalized and Community Services for Mobile Travel Planning and Management / Chien-Chih Yu
Author Index
Evaluating a Novel Cellular Automata-Based Distributed Power Management Approach for Mobile Wireless Sensor Networks / Sepideh Adabi ; Sahar Adabi ; Ali Rezaee
Effects of Feature Selection Using Binary Particle Swarm Optimization on Wheat Variety Classification / Ahmet Babalik ; Ömer Kaan Baykan ; Hazim Iscan ; Ismail Babaoglu ; Oguz Findik
A Comparison of Artificial Intelligence Methods on Determining Coronary Artery Disease / Nazif Aygül ; Kurtulus Özdemir ; Mehmet Bayrak
46.

電子ブック
ＥＢ
46. Intentional Perspectives on Information Systems Engineering
Selmin Nurcan, Selmin Nurcan, Camille Salinesi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
From Sustainable Information System with a Farandole of Models to Services / Michel Léonard ; Jolita Ralyté
On Roles of Models in Information Systems / Arne Sølvberg
Contemporary Challenges in Requirements Discovery and Validation: Two Case Studies in Complex Environments / Sean Hansen ; Kalle Lyytinen
Semantic Requirements Engineering / Motoshi Saeki
Goal-Based Domain Modeling as a Basis for Cross-Disciplinary Systems Engineering / Matthias Jarke ; Hans W. Nissen ; Thomas Rose ; Dominik Schmitz
Intentional Alignment and Interoperability in Inter-Organization Information Systems / Naveen Prakash
Requirements Engineering for Enterprise Systems: What We Know and What We Don't Know? / Maya Daneva ; Roel Wieringa
Requirements as Goals and Commitments Too / Amit K. Chopra ; John Mylopoulos ; Fabiano Dalpiaz ; Paolo Giorgini ; Munindar P. Singh
A Method for Capturing and Reconciling Stakeholder Intentions Based on the Formal Concept Analysis / Mikio Aoyama
Fostering the Adoption of i* by Practitioners: Some Challenges and Research Directions / Xavier Franch
Rights and Intentions in Value Modeling / Paul Johannesson ; Maria Bergholtz
An Intentional Perspective on Enterprise Modeling / Janis Bubenko Jr. ; Anne Persson ; Janis Stirna
A Goal-Based Approach for Learning in Business Processes / Pnina Soffer ; Johny Ghattas ; Mor Peleg
Linking Goal-Oriented Requirements and Model-Driven Development / Oscar Pastor ; Giovanni Giachetti
Testing Conceptual Schema Satisfiability / Antoni Olivé ; Albert Tort
A Systematic Approach to Define the Domain of Information System Security Risk Management / Éric Dubois ; Patrick Heymans ; Nicolas Mayer ; Raimundas Matulevicius
Methodologies for Design of Service-Based Systems / Barbara Pernici
Quality Assurance in the Presence of Variability / Kim Lauenroth ; Andreas Metzger ; Klaus Pohl
Method Engineering: A Service-Oriented Approach / Corine Cauvet
Collaborative Requirements Engineering: Bridging the Gulfs Between Worlds / Alistair Sutcliffe
Important Papers by Colette Rolland
Index
From Sustainable Information System with a Farandole of Models to Services / Michel Léonard ; Jolita Ralyté
On Roles of Models in Information Systems / Arne Sølvberg
Contemporary Challenges in Requirements Discovery and Validation: Two Case Studies in Complex Environments / Sean Hansen ; Kalle Lyytinen
47.

電子ブック
ＥＢ
47. Agile Processes in Software Engineering and Extreme Programming
Will van der Aalst, Angela Martin, John Mylopoulos, Alberto Sillitti, Xiaofeng Wang, Elizabeth Whitworth
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Research Papers
Extending Refactoring Guidelines to Perform Client and Test Code Adaptation / Wafa Basit ; Fakhar Lodhi ; Usman Bhatti
Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology / Gencer Erdogan ; Per HÃ¥kon Meland ; Derek Mathieson
Adoption of Team Estimation in a Specialist Organizational Environment / Tor Erlend Fægri
Extreme Product Line Engineering - Refactoring for Variability: A Test-Driven Approach / Yaser Ghanam ; Frank Maurer
Introducing Agile Methods in a Large Software Development Team: The Impact on the Code / Mary Giblin ; Padraig Brennan ; Chris Exton
Agile Undercover: When Customers Don't Collaborate / Rashina Hoda ; James Noble ; Stuart Marshall
Exploring Defect Data, Quality and Engagement during Agile Transformation at a Large Multisite Organization / Kirsi Korhonen
Auto-tagging Emails with User Stories Using Project Context / S.M. Sohan ; Michael M. Richter
Towards Understanding Communication Structure in Pair Programming / Kai Stapel ; Eric Knauss ; Kurt Schneider ; Matthias Becker
Continuous Selective Testing / Bastian Steinert ; Michael Haupt ; Robert Krahn ; Robert Hirschfeld
Applying SCRUM in an OSS Development Process: An Empirical Evaluation / Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
Short Research Papers
An Automated Approach for Acceptance Web Test Case Modeling and Executing / Felipe M. Besson ; Delano M. Beder ; Marcos L. Chaim
Communication in Context: A Stimulus-Response Account of Agile Team Interactions / Nik Nailah Binti Abdullah ; Helen Sharp ; Shinichi Honiden
Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective / Siva Dorairaj ; Petra Malik
Values and Assumptions Shaping Agile Development and User Experience Design in Practice / Jennifer Ferreira ; Hugh Robinson
Introducing Agile Methods in a Large Software Development Team: The Developers Changing Perspective
A Systematic and Lightweight Method to Identify Dependencies between User Stories / Arturo Gomez ; Gema Rueda ; Pedro P. Alarcón
Agile Documents: Toward Successful Creation of Effective Documentation / Omar Mazni ; Syed-Abdullah Sharifah-Lailee ; Yasin Azman
Structuring Complexity Issues for Efficient Realization of Agile Business Requirements in Distributed Environment / Richard Mordinyi ; Eva Kühn ; Alexander Schatten
A Literature Review on Story Test Driven Development / Shelly Park
Improving Responsiveness, Bug Detection, and Delays in a Bureaucratic Setting: A Longitudinal Empirical IID Adoption Case Study / Caryna Pinheiro ; Jonathan Sillito
Dealing with Navigation and Interaction Requirements Changes in a TDD-Based Web Engineering Approach / Juan Burella ; Gustavo Rossi ; Esteban Robles Luna ; Julián Grigera
Adoption of Software Engineering Process Innovations: The Case of Agile Software Development Methodologies / Mali Senapathi
A Quantitative Comparison of Test-First and Test-Last Code in an Industrial Project / Burak Turhan ; Ayse Bener ; Pasi Kuvaja ; Markku Oivo
Product and Release Planning Practices for Extreme Programming / Gert van Valkenhoef ; Tommi Tervonen ; Bert de Brock ; Douwe Postmus
Experience Reports
Launchpad's Quest for a Better and Agile User Interface / Martin Albisetti
Distributed Meetings in Distributed Teams / Marc Bless
Transitioning a Large Organisation: Adopting TDD
What Agile Teams Can Learn from Sports Coaching
Prototypes Are Forever Evolving from a Prototype Project to a Full-Featured System / Hugo Corbucci ; Mariana V. Bravo ; Alexandre Freire da Silva ; Fernando Freire da Silva
Put It to the Test: Using Lightweight Experiments to Improve Team Processes / Michael Keeling
Kanban at an Insurance Company (Are You Sure?) / Olav Maassen ; Jasper Sonnevelt
Automated Acceptance Testing of High Capacity Network Gateway / Ran Nyman ; Ismo Aro ; Roland Wagner
So You Think You're Agile? / Colm O'hEocha ; Kieran Conboy ; Xiaofeng Wang
From a Timebox Tangle to a More Flexible Flow / Jørn Ola Birkeland
Stakeholder Engagement in the Evolutionary Design of an API / Ken Power
From Chaos to Kanban, via Scrum / Kevin Rutherford ; Paul Shannon ; Craig Judson ; Neil Kidd
Tech Challenges in a Large-Scale Agile Project / Harald Søvik ; Morten Forfang
Energy Project Story: From Waterfall to Distributed Agile / Tomáš Turecek ; Roman Šmirák ; Tomáš Malík ; Petr Bohácek
Design and Development in the "Agile Room": Trialing Scrum at a Digital Agency / Katerina Tzanidou
Posters
Reinforcing the Learning of Agile Practices Using Coding Dojos / Mariana Bravo ; Alfredo Goldman
AnnoTestWeb/Run: Annotations Based Acceptance Testing / David Connolly ; Frank Keenan ; Fergal Mc Caffery
Open Source and Agile Methods: Two worlds Closer than It Seems
A Technique to Classify and Compare Agile Methods / João M. Fernandes ; Mauro Almeida
What Language Does Agile Speak
Combining Open Space Technology (OST) with XP through Scenarios for Enhanced Requirements Elicitation / Sandra Kelly ; Namgyal Damdul
Balancing Scrum Project Management Process / Marion Lepmets ; Margus Nael
TDD Effects: Are We Measuring the Right Things? / Bruno Pedroso ; Ricardo Jacobi ; Marcelo Pimenta
Pair Programming: The Choice of a Partner / Laura Plonka
Agile Adoption Strategies in the Context of Agile in the Large: FLEXI Agile Adoption Industrial Inventory / Anna Rohunen ; Pilar Rodriguez ; Lech Krzanik ; Jouni Markkula
Educating 'RITA' with XP
Ph.D. Symposium
A Multiple Case Study of Teamwork in Norwegian Software Development Organizations / Viktoria Gulliksen
A Systematic Approach for Selection and Adoption of Agile Practices in Component-Based Projects / Iva Krasteva ; Sylvia Ilieva
Software Development: A Stakeholder Approach
A Framework for Situated Evaluation of Methodology Usage in Agile Environments
Panel
Collaboration in an Agile World / Steven Fraser ; Bjørn Alterhaug ; David Anderson ; Diana Larsen ; Scott Page
Author Index
Research Papers
Extending Refactoring Guidelines to Perform Client and Test Code Adaptation / Wafa Basit ; Fakhar Lodhi ; Usman Bhatti
Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology / Gencer Erdogan ; Per HÃ¥kon Meland ; Derek Mathieson
48.

電子ブック
ＥＢ
48. Open Source Software: New Horizons
P?r ?gerfalk, Cornelia Boldyreff, Jes?s M. Gonz?lez-Barahona, Gregory R. Madey, John Noll
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Full Papers / Part I：
Spago4Q and the QEST nD Model: An Open Source Solution for Software Performance Measurement / Claudio A. Ardagna ; Ernesto Damiani ; Fulvio Frati ; Sergio Oltolina ; Mauro Regoli ; Gabriele Ruffatti
An Investigation of the Users' Perception of OSS Quality / Vieri del Bianco ; Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
Engaging without Over-Powering: A Case Study of a FLOSS Project / Andrea Capiluppi ; Andres Baravalle ; Nick W. Heap
The Meso-level Structure of F/OSS Collaboration Network: Local Communities and Their Innovativeness / Guido Conaldi ; Francesco Rullani
To Patent or Not to Patent: A Pilot Experiment on Incentives to Copyright in a Sequential Innovation Setting / Paolo Crosetto
Voting for Bugs in Firefox: A Voice for Mom and Dad? / Jean-Michel Dalle ; Matthijs den Besten
The Nagios Community: An Extended Quantitative Analysis / Jonas Gamalielsson ; Björn Lundell ; Brian Lings
Collaborative Development for the XO Laptop: CODEX 2 / Andrew Garbett ; Karl Lieser ; Cornelia Boldyreff
Risks and Risk Mitigation in Open Source Software Adoption: Bridging the Gap between Literature and Practice / Øyvind Hauge ; Daniela Soares Cruzes ; Reidar Conradi ; Ketil Sandanger Velle ; Tron André Skarpenes
Usability Innovations in OSS Development - Examining User Innovations in an OSS Usability Discussion Forum / Netta Iivari
Governance in Open Source Software Development Projects: A Comparative Multi-level Analysis / Chris Jensen ; Walt Scacchi
Evaluating the Readiness of Proprietary Software for Open Source Development / Terhi Kilamo ; Timo Aaltonen ; Imed Hammouda ; Teemu J. Heinimäki ; Tommi Mikkonen
Where and When Can Source Thrive? Towards a Theory of Robust Performance / Sheen S. Levine ; Michael J. Prietula
How Open Are Local Government Documents in Sweden? A Case for Open Standards
Bug Localization Using Revision Log Analysis and Open Bug Repository Text Categorization / Amir H. Moin ; Mohammad Khansari
T-DOC: A Tool for the Automatic Generation of Testing Documentation for OSS Products
Open Source Introducing Policy and Promotion of Regional Industries in Japan / Tetsuo Noda ; Terutaka Tansho
Comparing OpenBRR, QSOS, and OMM Assessment Models / Etiel Petrinja ; Alberto Sillitti ; Giancarlo Succi
Joining and Socialization in Open Source Women's Groups: An Exploratory Study of KDE-Women / Yixin Qiu ; Katherine J. Stewart ; Kathryn M. Bartol
Download Patterns and Releases in Open Source Software Projects: A Perfect Symbiosis? / Bruno Rossi ; Barbara Russo
Modelling Failures Occurrences of Open Source Software with Reliability Growth
A Field Study on the Barriers in the Assimilation of Open Source Server Software / Kris Ven ; Jan Verelst
Reclassifying Success and Tragedy in FLOSS Projects / Andrea Wiggins ; Kevin Crowston
Short Papers / Part II：
Three Strategies for Open Source Deployment: Substitution, Innovation, and Knowledge Reuse / Jonathan P. Allen
Coordination Implications of Software Coupling in Open Source Projects / Chintan Amrit ; Jos van Hillegersberg
Industry Regulation through Open Source Software: A Strategic Ownership Proposal / Jean-Lucien Hardy
Proposal for Solving Incompatibility Problems between Open-Source and Proprietary Web Browsers / Jun Iio ; Hiroyuki Shimizu ; Hisayoshi Sasaki ; Akihiro Matsumoto
FLOSS Communities: Analyzing Evolvability and Robustness from an Industrial Perspective / Daniel Izquierdo-Cortazar ; Jesús M. González-Barahona ; Gregorio Robles ; Jean-Christophe Deprez ; Vincent Auvray
BULB: Onion-Based Measuring of OSS Communities
A Network of FLOSS Competence Centres / Jean-Pierre Laisné ; Nelson Lago ; Fabio Kon ; Pedro Coca
Profiling F/OSS Adoption Modes: An Interpretive Approach / David López ; Carmen de Pablos ; Roberto Santos
Introducing Automated Unit Testing into Open Source Projects / Christopher Oezbek
A Case Study on the Transformation from Proprietary to Open Source Software / Alma Orucevic-Alagic ; Martin Höst
High-Level Debugging Facilities and Interfaces: Design and Development of a Debug-Oriented I.D.E. / Nick Papoylias
To Rule and Be Ruled: Governance and Participation in FOSS Projects / Zegaye Seifu ; Prodromos Tsiavos
A Comparison Framework for Open Source Software Evaluation Methods / Klaas-Jan Stol ; Muhammad Ali Babar
An Exploratory Long-Term Open Source Activity Analysis: Implications from Empirical Findings on Activity Statistics / Toshihiko Yamakami
Challenges for Mobile Middleware Platform: Issues for Embedded Open Source Software Integration
Open Source Software Developer and Project Networks / Matthew Van Antwerp ; Greg Madey
Warehousing and Studying Open Source Versioning Metadata
Workshop / Part III：
Workshop - Open Source Software for Computer Games and Virtual Worlds: Practice and Future / Per Backlund
WoPDaSD 2010: 5th Workshop on Public Data about Software Development / Megan Squire
Second International Workshop on Building Sustainable Open Source Communities: OSCOMM 2010
Open Source Policy and Promotion of IT Industries in East Asia / Sangmook Yi ; Dongbin Wang
OSS 2010 Doctoral Consortium (OSS2010DC)
Panels / Part IV：
Student Participation in OSS Projects / Gregory W. Hislop ; Heidi J.C. Ellis ; Greg DeKoenigsberg ; Darius Jazayeri
Open Source Software/Systems in Humanitarian Applications (H-FOSS)
The FOSS 2010 Community Report
The Present and Future of FLOSS Data Archives
Author Index
Full Papers / Part I：
Spago4Q and the QEST nD Model: An Open Source Solution for Software Performance Measurement / Claudio A. Ardagna ; Ernesto Damiani ; Fulvio Frati ; Sergio Oltolina ; Mauro Regoli ; Gabriele Ruffatti
An Investigation of the Users' Perception of OSS Quality / Vieri del Bianco ; Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
49.

電子ブック
ＥＢ
49. Evaluation of Novel Approaches to Software Engineering
Leszek A. Maciaszek, C?sar Gonz?lez-P?rez, C?sar Gonz?lez-P?rez, Stefan Jablonski, Leszek Maciaszek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evaluation of Novel Approaches to Software Engineering 2008 / Part I：
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques / Motoshi Saeki ; Haruhiko Kaiya
On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model / Winfried Dulz
Language-Critical Development of Process-Centric Application Systems / Tayyeb Amin ; Tobias Grollius ; Erich Ortner
Balancing Business Perspectives in Requirements Analysis / Alberto Siena ; Alessio Bonetti ; Paolo Giorgini
Using Fault Screeners for Software Error Detection / Rui Abreu ; Alberto González ; Peter Zoeteweij ; Arjan J.C. van Gemund
Language Support for Service Interactions in Service-Oriented Architecture / Sven De Labey ; Jeroen Boydens ; Eric Steegmans
Evaluation of Novel Approaches to Software Engineering 2009 / Part II：
Automating Component Selection and Building Flexible Composites for Service-Based Applications / Jacky Estublier ; Idrissa A. Dieng ; Eric Simon
An Aspect-Oriented Framework for Event Capture and Usability Evaluation / Slava Shekh ; Sue Tyerman
Implementing Domain Specific Process Modelling / Bernhard Volz ; Sebastian Dornstauder
Bin-Packing-Based Planning of Agile Releases / Ákos Szoke
A Method to Measure Productivity Trends during Software Evolution / Hans Christian Benestad ; Bente Anda ; Erik Arisholm
Design Pattern Detection in Java Systems: A Dynamic Analysis Based Approach / Francesca Arcelli ; Fabrizio Perin ; Claudia Raibulet ; Stefano Ravani
Formalization of the UML Class Diagrams / Janis Osis ; Uldis Donins
Extended KAOS Method to Model Variability in Requirements / Farida Semmak ; Christophe Gnaho ; Régine Laleau
Orthographic Software Modeling: A Practical Approach to View-Based Development / Colin Atkinson ; Dietmar Stoll ; Philipp Bostan
Dynamic Management of the Organizational Knowledge Using Case-Based Reasoning / Viviane Santos ; Mariela Cortés ; Márcia Brasil
Mapping Software Acquisition Practices from ISO 12207 and CMMI / Francisco J. Pino ; Maria Teresa Baldassarre ; Mario Piattini ; Giuseppe Visaggio ; Danilo Caivano
Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications / Daniela Pohl ; Andreas Bollin
A Model Driven Approach to Upgrade Package-Based Software Systems / Antonio Cicchetti ; Davide Di Ruscio ; Patrizio Pelliccione ; Alfonso Pierantonio ; Stefano Zacchiroli
Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies / Rachel Burrows ; Alessandro Garcia ; François Taïani
Revealing Commonalities Concerning Maintenance of Software Product Line Platform Components / Martin Assmann ; Gregor Engels ; Thomas von der Massen ; Andreas Wübbeke
Service Based Development of a Cross Domain Reference Architecture / Liliana Dobrica ; Eila Ovaska
Author Index
Evaluation of Novel Approaches to Software Engineering 2008 / Part I：
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques / Motoshi Saeki ; Haruhiko Kaiya
On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model / Winfried Dulz
50.

電子ブック
ＥＢ
50. Verification and Validation in Systems Engineering
Mourad Debbabi, Fawzi Hassa?ne
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Verification and Validation Problem Statement / 1.1：
Systems Engineering / 1.2：
Systems Engineering Standards / 1.3：
Model-Driven Architecture / 1.4：
Systems Engineering Modeling Languages / 1.5：
UML 2.x: Unified Modeling Language / 1.5.1：
SysML: Systems Modeling Language / 1.5.2：
IDEF: Integration Definition Methods / 1.5.3：
Outline / 1.6：
Architecture Frameworks, Model-Driven Architecture, and Simulation / 2：
Architecture Frameworks / 2.1：
Zachman Framework / 2.1.1：
Open Group Architecture Framework / 2.1.2：
DoD Architecture Framework / 2.1.3：
UK Ministry of Defence Architecture Framework / 2.1.4：
UML Profile for DoDAF/MODAF / 2.1.5：
AP233 Standard for Data Exchange / 2.2：
Executable Architectures or from Design to Simulation / 2.3：
Why Executable Architectures? / 2.3.1：
Modeling and Simulation as an Enabler for Executable Architectures / 2.3.2：
DoDAF in Relation to SE and SysML / 2.4：
Conclusion / 2.5：
Unified Modeling Language / 3：
UML History / 3.1：
UML Diagrams / 3.2：
Class Diagram / 3.2.1：
Component Diagram / 3.2.2：
Composite Structure Diagram / 3.2.3：
Deployment Diagram / 3.2.4：
Object Diagram / 3.2.5：
Package Diagram / 3.2.6：
Activity Diagram / 3.2.7：
Activity Diagram Execution / 3.2.8：
Use Case Diagram / 3.2.9：
State Machine Diagram / 3.2.10：
Sequence Diagram / 3.2.11：
Communication Diagram / 3.2.12：
Interaction Overview Diagram / 3.2.13：
Timing Diagram / 3.2.14：
UML Profiling Mechanisms / 3.3：
Systems Modeling Language / 3.4：
SysML History / 4.1：
UML and SysML Relationships / 4.2：
SysML Diagrams / 4.3：
Block Definition Diagram / 4.3.1：
Internal Block Diagram / 4.3.2：
Parametric Diagram / 4.3.3：
Requirement Diagram / 4.3.5：
Verification, Validation, and Accreditation / 4.3.6：
V&V Techniques Overview / 5.1：
Inspection / 5.1.1：
Testing / 5.1.2：
Simulation / 5.1.3：
Reference Model Equivalence Checking / 5.1.4：
Theorem Proving / 5.1.5：
Verification Techniques for Object-Oriented Design / 5.2：
Design Perspectives / 5.2.1：
Software Engineering Techniques / 5.2.2：
Formal Verification Techniques / 5.2.3：
Program Analysis Techniques / 5.2.4：
V&V of Systems Engineering Design Models / 5.3：
Tool Support / 5.4：
Formal Verification Environments / 5.4.1：
Static Analyzers / 5.4.2：
Automatic Approach for Synergistic Verification and Validation / 5.5：
Synergistic Verification and Validation Methodology / 6.1：
Dedicated V&V Approach for Systems Engineering / 6.2：
Automatic Formal Verification of System Design Models / 6.2.1：
Program Analysis of Behavioral Design Models / 6.2.2：
Software Engineering Quantitative Techniques / 6.2.3：
Probabilistic Behavior Assessment / 6.3：
Established Results / 6.4：
Verification and Validation Tool / 6.5：
Software Engineering Metrics in the Context of Systems Engineering / 6.6：
Metrics Suites Overview / 7.1：
Chidamber and Kemerer Metrics / 7.1.1：
MOOD Metrics / 7.1.2：
Li and Henry's Metrics / 7.1.3：
Lorenz and Kidd's Metrics / 7.1.4：
Robert Martin Metrics / 7.1.5：
Bansiya and Davis Metrics / 7.1.6：
Briand et al. Metrics / 7.1.7：
Quality Attributes / 7.2：
Software Metrics Computation / 7.3：
Abstractness (A) / 7.3.1：
Instability (I) / 7.3.2：
Distance from the Main Sequence (DMS) / 7.3.3：
Class Responsibility (CR) / 7.3.4：
Class Category Relational Cohesion (CCRC) / 7.3.5：
Depth of Inheritance Tree (DIT) / 7.3.6：
Number of Children (NOC) / 7.3.7：
Coupling Between Object Classes (CBO) / 7.3.8：
Number of Methods (NOM) / 7.3.9：
Number of Attributes (NOA) / 7.3.10：
Number of Methods Added (NMA) / 7.3.11：
Number of Methods Overridden (NMO) / 7.3.12：
Number of Methods Inherited (NMI) / 7.3.13：
Specialization Index (SIX) / 7.3.14：
Public Methods Ration (PMR) / 7.3.15：
Case Study / 7.4：
Verification and Validation of UML Behavioral Diagrams / 7.5：
Configuration Transition System / 8.1：
Model Checking of Configuration Transition Systems / 8.2：
Property Specification Using CTL / 8.3：
Program Analysis of Configuration Transition Systems / 8.4：
V&V of UML State Machine Diagram / 8.5：
Semantic Model Derivation / 8.5.1：
Application of Program Analysis / 8.5.2：
V&V of UML Sequence Diagram / 8.6：
Sequence Diagram Case Study / 8.6.1：
V&V of UML Activity Diagram / 8.7：
Activity Diagram Case Study / 8.7.1：
Probabilistic Model Checking of SysML Activity Diagrams / 8.8：
Probabilistic Verification Approach / 9.1：
Translation into PRISM / 9.2：
PCTL* Property Specification / 9.3：
Performance Analysis of Time-Constrained SysML Activity Diagrams / 9.4：
Time Annotation / 10.1：
Derivation of the Semantic Model / 10.2：
Model-Checking Time-Constrained Activity Diagrams / 10.3：
Discrete-Time Markov Chain / 10.3.1：
PRISM Input Language / 10.3.2：
Mapping SysML Activity Diagrams into DTMC / 10.3.3：
Threads Identification / 10.3.4：
Performance Analysis Case Study / 10.4：
Scalability / 10.5：
Semantic Foundations of SysML Activity Diagrams / 10.6：
Activity Calculus / 11.1：
Syntax / 11.1.1：
Operational Semantics / 11.1.2：
Markov Decision Process / 11.2：
Soundness of the Translation Algorithm / 11.4：
Notation / 12.1：
Methodology / 12.2：
Formalization of the PRISM Input Language / 12.3：
Formal Translation / 12.3.1：
Simulation Preorder for Markov Decision Processes / 12.5：
References / 12.7：
Index
Introduction / 1：
Verification and Validation Problem Statement / 1.1：
Systems Engineering / 1.2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼