close
1.

電子ブック

EB
Bertrand Meyer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2013
所蔵情報: loading…
2.

電子ブック

EB
Yuri Gurevich, Takeo Kanade, Bertrand Meyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
3.

電子ブック

EB
Bertrand Meyer, Takeo Kanade, Jerzy R. Nawrocki, Bartosz Walter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
4.

電子ブック

EB
Jürg Kohlas, Takeo Kanade, J・・urg Kohlas, Bertrand Meyer, Andrae Schiper, André Schiper
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Will van der Aalst, Kay Berkling, Mathai Joseph, Bertrand Meyer, John Mylopoulos, Martin Nordio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Outsourcing through Combining Software Departments of Several Companies / Jarmo J. Ahonen ; Anu Valtanen ; Paula Savolainen ; Timo Schalkowski ; Mikko Kontio
Timeline Prediction Framework for Iterative Software Engineering Projects with Changes / Kay Berkling ; Georgios Kiragiannis ; Armin Zundel ; Subhajit Datta
Outsourcing-Iterative Improvement Model for Transforming Challenges to Mutual Benefits / Atanu Bhattacharya
A Structure for Management of Requirements Set for e-Learning Applications / Dumitru Dan Burdescu ; Marian Cristian Mih&acaron;escu ; Bogdan Logofatu
Evaluation of Software Process Improvement in Small Organizations / Pedro E. Colla ; Jorge Marcelo Montagna
An Examination of the Effects of Offshore and Outsourced Development on the Delegation of Responsibilities to Software Components / Robert van Engelen
Students as Partners and Students as Mentors: An Educational Model for Quality Assurance in Global Software Development / Olly Gotel ; Vidya Kulkarni ; Christelle Scharff ; Longchrea Neak
Problems and Solutions in Distributed Software Development: A Systematic Review / Miguel Jiménez ; Mario Piattini
Design and Code Reviews in the Age of the Internet / Bertrand Meyer
Preliminary Analysis for Risk Finding in Offshore Software Outsourcing from Vendor's Viewpoint / Zhongqi Sheng ; Hiroshi Tsuji ; Akito Sakurai ; Ken'ichi Yoshida ; Takako Nakatani
Evidence-Based Management of Outsourced Software Projects / Fadrian Sudaman ; Christine Mingins
A Closer Look at Extreme Programming (XP) with an Onsite-Offshore Model to Develop Software Projects Using XP Methodology / Ponmurugarajan S. Thiyagarajan ; Sachal Verma
Measuring and Monitoring Task Couplings of Developers and Development Sites in Global Software Development / Yunwen Ye ; Kumiyo Nakakoji ; Yasuhiro Yamamoto
Automated Process Quality Assurance for Distributed Software Development / Jian Zhai ; Qiusong Yang ; Ye Yang ; Junchao Xiao ; Qing Wang ; Mingshu Li
Author Index
Outsourcing through Combining Software Departments of Several Companies / Jarmo J. Ahonen ; Anu Valtanen ; Paula Savolainen ; Timo Schalkowski ; Mikko Kontio
Timeline Prediction Framework for Iterative Software Engineering Projects with Changes / Kay Berkling ; Georgios Kiragiannis ; Armin Zundel ; Subhajit Datta
Outsourcing-Iterative Improvement Model for Transforming Challenges to Mutual Benefits / Atanu Bhattacharya
6.

電子ブック

EB
Will van der Aalst, Bertrand Meyer, John Mylopoulos, Manuel Oriol
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek
Reflection and Aspects
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition / Andrew Camilleri ; Geoffrey Coulson ; Lynne Blair
A Diagrammatic Formalisation of MOF-Based Modelling Languages / Adrian Rutle ; Alessandro Rossini ; Yngve Lamo ; Uwe Wolter
Designing Design Constraints in the UML Using Join Point Designation Diagrams / Vanessa Stricker ; Stefan Hanenberg ; Dominik Stein
Stream-Based Dynamic Compilation for Object-Oriented Languages / Michael Bebenita ; Mason Chang ; Andreas Gal ; Michael Franz
Models
Algebraic Semantics of OCL-Constrained Metamodel Specifications / Artur Boronat ; José Meseguer
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages / Aram Hovsepyan ; Stefan Van Baelen ; Yolande Berbers ; Wouter Joosen
Early Crosscutting Metrics as Predictors of Software Instability / José M. Conejero ; Eduardo Figueiredo ; Alessandro Garcia ; Juan Hernández ; Elena Jurado
Extensibility in Model-Based Business Process Engines / Mario Sánchez ; Camilo Jiménez ; Jorge Villalobos ; Dirk Deridder
Theory
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach / Christian Kästner ; Sven Apel ; Salvador Trujillo ; Martin Kuhlemann ; Don Batory
A Sound and Complete Program Logic for Eiffel / Martin Nordio ; Cristiano Calcagno ; Peter Müller ; Bertrand Meyer
Components
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers / Olivier Caron ; Bernard Carré ; Alexis Muller ; Gilles Vanwormhoudt
A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks / Elisa Gonzalez Boix ; Tom Van Cutsem ; Jorge Vallejos ; Wolfgang De Meuter ; Theo D'Hondt
Monitoring
Reusing and Composing Tests with Traits / Stéphane Ducasse ; Damien Pollet ; Alexandre Bergel ; Damien Cassou
Flow-Centric, Back-in-Time Debugging / Adrian Lienhard ; Julien Fierz ; Oscar Nierstrasz
A Classification Framework for Pointcut Languages in Runtime Monitoring / Karl Klose ; Klaus Ostermann
Systems Generation
Fast Simulation Techniques for Design Space Exploration / Daniel Knorreck ; Ludovic Apvrille ; Renaud Pacalet
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy / Camillo Bruni ; Toon Verwaest
Short Papers
Using Grammarware Languages to Define Operational Semantics of Modelled Languages / Daniel A. Sadilek ; Guido Wachsmuth
Automatic Generation of Integrated Formal Models Corresponding to UML System Models / Helen Treharne ; Edward Turner ; Richard F. Paige ; Dimitrios S. Kolovos
Author Index
Invited Presentations
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek
7.

電子ブック

EB
Will van der Aalst, Olly Gotel, Mathai Joseph, Bertrand Meyer, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Keynote Speakers
Decentralized Software Development: Pitfalls and Challenges (Abstract) / Carlo Ghezzi
An Empiricist View of Managing Globally Distributed Software Development (Abstract) / Narayan Ramasubbu
Industry Challenges and Best Practices
IBM Industry Practice: Challenges in Offshore Software Development from a Global Delivery Center / Ilario Musio
Solution Proposals for Japan-Oriented Offshore Software Development in China / Lei Zhang ; Xuan Zhang ; Meiping Chai ; Yibing Tan ; Shigeru Miyake ; Yoji Taniguchi ; Jun Hosoya ; Ryota Mibe
Working in Distributed Teams: Challenges, Best Practices, and Guidelines / Arul Mozhi Ganesan ; Kayal Vizhi Ganesan
Measurement and Estimation
Quantitative CMMI Assessment for Offshoring through the Analysis of Project Management Repositories / Thanwadee Sunetnanta ; Ni-On Nobprapai ; Olly Gotel
Predicting Fault-Prone Modules: A Comparative Study / Hao Jia ; Fengdi Shu ; Ye Yang ; Qing Wang
Effort Drivers Estimation for Brazilian Geographically Distributed Software Development / Ana Carina M. Almeida ; Renata Souza ; Gibeon Aquino ; Silvio Meira
Strategic Concerns and Technologies
Challenges for Product Roadmapping in Inter-company Collaboration / Tanja Suomalainen ; Maarit Tihinen ; Päivi Parviainen
Global Software Development with Cloud Platforms / Pavan Yara ; Ramaseshan Ramachandran ; Gayathri Balasubramanian ; Karthik Muthuswamy ; Divya Chandrasekar
Competitive Risk Identification Method for Distributed Teams / Yegor Bugayenko
Communication and Specification
Model-Centric Approach to Software Design and Stakeholder-Specific Architecture Views in Scope of a Financial Institution / Patrick Senti
The Role of Contracts in Distributed Development / Martin Nordio ; Roman Mitin ; Bertrand Meyer ; Elisabetta Di Nitto ; Giordano Tamburrelli
Managing Communication among Geographically Distributed Teams: A Brazilian Case / Ivaldir H. de Farias Junior ; Pedro Jorge de S. Carneiro
Author Index
Invited Keynote Speakers
Decentralized Software Development: Pitfalls and Challenges (Abstract) / Carlo Ghezzi
An Empiricist View of Managing Globally Distributed Software Development (Abstract) / Narayan Ramasubbu
8.

電子ブック

EB
Bertrand Meyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック

EB
Will van der Aalst, Mathai Joseph, Bertrand Meyer, John Mylopoulos, Martin Nordio, Andrey Terekhov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Keynote Speakers
A Smarter Way: The Software Engineering Method and Theory Initiative (Semat) / Ivar Jacobson
The Consortium for IT Software Quality / Richard Mark Soley ; Bill Curtis
Full Papers
Reconciling Offshore Outsourcing with Model Based Testing / David Arnold ; Jean-Pierre Corriveau ; Wei Shi
Argentina's Offshore Software Industry - Opportunities and Challenges / Santiago Ceria ; Carlos Pallotti
Model-Based Task Allocation in Distributed Software Development / Ansgar Lamersdorf ; Jürgen Münch
The Economics of Hiring and Staff Retention for an IT Company in Russia / Andrey Terekhov ; Karina Terekhova
Short Papers
Global Software Project Management: A Case Study / Petra Björndal ; Karen Smiley ; Prateeti Mohapatra
The Catalan Government Prequalification Strategy for Software Development Suppliers / Josep M. Marco-Simó ; Joan A. Pastor ; Rafael Macau
On Knowledge Services for Outsourcing Professional Development / Dehua Ju ; Beijun Shen
A Structured Framework for Managing Offshore Outsourcing Risks on Software Support Projects / Natacha Lascano ; Sebastián Maniasi ; Pedro Colla
Author Index
Invited Keynote Speakers
A Smarter Way: The Software Engineering Method and Theory Initiative (Semat) / Ivar Jacobson
The Consortium for IT Software Quality / Richard Mark Soley ; Bill Curtis
10.

電子ブック

EB
Bertrand Meyer, Takeo Kanade, Jim Woodcock
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Verified Software: Theories, Tools, Experiments: Vision of a Grand Challenge Project / Tony Hoare ; Jay Misra
Verification Tools
Towards a Worldwide Verification Technology / Wolfgang Paul
It Is Time to Mechanize Programming Language Metatheory / Benjamin C. Pierce ; Peter Sewell ; Stephanie Weirich ; Steve Zdancewic
Methods and Tools for Formal Software Engineering / Zhiming Liu ; R. Venkatesh
Guaranteeing Correctness
The Verified Software Challenge: A Call for a Holistic Approach to Reliability / Thomas Ball
A Mini Challenge: Build a Verifiable Filesystem / Rajeev Joshi ; Gerard J. Holzmann
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets / Alessandro Coglio ; Cordell Green
Some Interdisciplinary Observations about Getting the "Right" Specification / Cliff B. Jones
Software Engineering Aspects
Software Verification and Software Engineering a Practitioner's Perspective / Anthony Hall
Decomposing Verification Around End-User Features / Kathi Fisler ; Shriram Krishnamurthi
Verifying Object-Oriented Programming
Automatic Verification of Strongly Dynamic Software Systems / N. Dor ; J. Field ; D. Gopan ; T. Lev-Ami ; A. Loginov ; R. Manevich ; G. Ramalingam ; T. Reps ; N. Rinetzky ; M. Sagiv ; R. Wilhelm ; E. Yahav ; G. Yorsh
Reasoning about Object Structures Using Ownership / Peter Muller
Modular Reasoning in Object-Oriented Programming / David A. Naumann
Scalable Specification and Reasoning: Challenges for Program Logic / Peter W. O'Hearn
Programming Language and Methodology Aspects
Lessons from the JML Project / Gary T. Leavens ; Curtis Clifton
The Spec# Programming System: Challenges and Directions / Mike Barnett ; Robert DeLine ; Manuel Fahndrich ; Bart Jacobs ; K. Rustan M. Leino ; Wolfram Schulte ; Herman Venter
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification / Joseph R. Kiniry ; Patrice Chalin ; Clement Hurlin
Components
Automated Test Generation and Verified Software / John Rushby
Dependent Types, Theorem Proving, and Applications for a Verifying Compiler / Yves Bertot ; Laurent Thery
Generating Programs Plus Proofs by Refinement / Douglas R. Smith
Static Analysis
The Verification Grand Challenge and Abstract Interpretation / Patrick Cousot
WYSINWYX: What You See Is Not What You eXecute / G. Balakrishnan ; D. Melski ; T. Teitelbaum
Implications of a Data Structure Consistency Checking System / Viktor Kuncak ; Patrick Lam ; Karen Zee ; Martin Rinard
Towards the Integration of Symbolic and Numerical Static Analysis / Arnaud Venet
Design, Analysis and Tools
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
Trends and Challenges in Algorithmic Software Verification / Rajeev Alur
Model Checking: Back and Forth between Hardware and Software / Edmund Clarke ; Anubhav Gupta ; Himanshu Jain ; Helmut Veith
Computational Logical Frameworks and Generic Program Analysis Technologies / Jose Meseguer ; Grigore Rosu
Formal Techniques
A Mechanized Program Verifier / J. Strother Moore
Verifying Design with Proof Scores / Kokichi Futatsugi ; Joseph A. Goguen ; Kazuhiro Ogata
Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge / Bernard K. Aichernig ; He Jifeng ; Mike Reed
Eiffel as a Framework for Verification / Bertrand Meyer
Position Papers
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges / Myla Archer
Verified Software: The Real Grand Challenge / Ramesh Bharadwaj
Linking the Meaning of Programs to What the Compiler Can Verify / Egon Borger
Scalable Software Model Checking Using Design for Verification / Tevfik Bultan ; Aysu Betin-Can
Model-Checking Software Using Precise Abstractions / Marsha Chechik ; Arie Gurfinkel
Toasters, Seat Belts, and Inferring Program Properties / David Evans
On the Formal Development of Safety-Critical Software / Andy Galloway ; Frantz Iwu ; John McDermid ; Ian Toyn
Verify Your Runs / Klaus Havelund ; Allen Goldberg
Specified Blocks / Eric C.R. Hehner
A Case for Specification Validation / Mats P.E. Heimdahl
Some Verification Issues at NASA Goddard Space Flight Center / Michael G. Hinchey ; James L. Rash ; Christopher A. Rouff
Performance Validation on Multicore Mobile Devices / Thomas Hubbard ; Raimondas Lencevicius ; Edu Metz ; Gopal Raghavan
Tool Integration for Reasoned Programming / Andrew Ireland
Decision Procedures for the Grand Challenge / Daniel Kroening
The Challenge of Hardware-Software Co-verification / Panagiotis Manolios
From the How to the What / Tiziana Margaria ; Bernhard Steffen
An Overview of Separation Logic / John C. Reynolds
A Perspective on Program Verification / Willem-Paul de Roever
Meta-Logical Frameworks and Formal Digital Libraries / Carsten Schurmann
Languages, Ambiguity, and Verification
The Importance of Non-theorems and Counterexamples in Program Verification / Graham Steel
Regression Verification - A Practical Way to Verify Programs / Ofer STrichman ; Benny Godlin
Programming with Proofs: Language-Based Approaches to Totally Correct Software / Aaron Stump
The Role of Model-Based Testing / Mark Utting
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification / Mitsuharu Yamamoto ; Yoshinori Tanabe ; Koichi Takahashi ; Masami Hagiya
Program Verification by Using DISCOVERER / Lu Yang ; Naijun Zhan ; Bican Xia ; Chaochen Zhou
Constraint Solving and Symbolic Execution / Jian Zhang
Author Index
Introduction
Verified Software: Theories, Tools, Experiments: Vision of a Grand Challenge Project / Tony Hoare ; Jay Misra
Verification Tools
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼