’05 Eur Ing Dr. A. J. (Tony) Cowling Senior Lecturer Verification and Testing Research Group Department of Computer Science, U. of Sheffield Homepages:

Slides:



Advertisements
Similar presentations
Groups, Teams and Organizational Effectiveness
Advertisements

Digital inclusion – a CS perspective Alex Poulovassilis ESRC TLRP-TEL Inclusion and Impact conference, June 2010.
Team Working No one person can be expected to perform a significant number of complex tasks without suffering some degradation in overall performance and.
What are the S, T, and E in STEM? How are they related?
Groups vs. Teams. Groups Groups are a normal part of life. Every group is different: -Different purposes -Different people -Different relationships.
Designed and Presented by Dr. Ayman Elshenawy Elsefy Dept. of Systems & Computer Eng.. Al-Azhar University
Carolyn B. Seaman Empirical SWE CV PhD Student, University of Maryland, supervised by Vic Basili Postdoc, University of Maryland,
GSE Annual Conference Breakout Session: Leadership and Skills.
Team 6 Lesson 3 Gary J Brumbelow Matt DeMonbrun Elias Lopez Rita Martin.
Teaching Methods Related to Student Progress in Lower-level STEM Courses Steve Benton, Ph.D. Senior Research Officer IDEA Emeritus Professor, Kansas State.
Factors that affect internal supply chain integration Dissertation Proposal Ana L. Rosado Feger Clemson University.
Workshop: Professional Development of Software Engineers Hazzan Orit Department of Education in Technology and Scinece Technion – Israel Institute of Technology.
Lero© 2010 Software Quality & Process Improvement Dr. Ita Richardson Lero – the Irish Software Engineering Research Centre and Department of Computer Science.
UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering CSCE 190 Computing in the Modern World CSE Curricula Fall 2014 Marco Valtorta.
Case interrelations Relationships and integration Episode 3 - CAATS II Final Dissemination Event John Harrison Hu-Tech CAATS II Brussels, 13 & 14 Oct 2009.
1 Where Do Good Projects Come From? Korinna Shaw 8 December 2010.
SOFTWARE QUALITY ASSURANCE Maltepe University Faculty of Engineering SE 410.
The Islamic University of Gaza
Authors: Pilar Sancho, Javier Torrente, Baltasar Fernández-Manjón ? Fighting Drop-out Rates in Engineering Education: Empirical Research.
Computer Engineering 203 R Smith Agile Development 1/ Agile Methods What are Agile Methods? – Extreme Programming is the best known example – SCRUM.
Research at the COE Department COE Workshop September 2009.
C H A P T E R 10 Social Constructivist Approaches
UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering CSCE 190 Computing in the Modern World CSE Curricula Spring 2010 Marco Valtorta.
Chapter 3 The Knowledge Leader
Distinctions Between Computing Disciplines
On Education Gerrit C. van der Veer most work done by Anne Bowser Elizabeth Churchill Jennifer Preece.
Desired Quality Characteristics in Cloud Application Development Leah Riungu-Kalliosaari.
MASTERING THE ART OF IDENTITY MANAGEMENT Harry Nicholos Christine Schoaff.
How Significant Is the Effect of Faults Interaction on Coverage Based Fault Localizations? Xiaozhen Xue Advanced Empirical Software Testing Group Department.
Effective Team Management
McGraw-Hill/Irwin Copyright © 2010 by The McGraw-Hill Companies, Inc. All rights reserved.
Template for ISERN Instructions:  Keep your main message short and clear: you can discuss the details in person or provide additional background material.
UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering CSCE 190 Careers in Computer Science, Computer Engineering, and Computer Information.
Chapter 9 Developing an Effective Knowledge Service
1 Department of Electrical and Computer Engineering University of Virginia Software Quality & Safety Assessment Using Bayesian Belief Networks Joanne Bechta.
1/10/2010 These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
Template for ISERN Candidate information Instructions:  Keep your main message short and clear: you can discuss the details in person or provide additional.
ISERN 2001, Glasgow, 20th – 22nd August 2001 Slide 1/6 Annual Meeting Department of Computer Science - University of Strathclyde Glasgow, Scotland, UK.
Module 4 :Session 4 Working with others Developed by Dr J Moorman.
A “taste” of leadership Programme Developing an effective team Don Garford.
’05 Dr. Jeffrey Carver Assistant Professor Mississippi State University Homepage: List of main empirical.
Job scheduling algorithm based on Berger model in cloud environment Advances in Engineering Software (2011) Baomin Xu,Chunyan Zhao,Enzhao Hua,Bin Hu 2013/1/251.
Seminar on SW engineering processes and methods. Goals Study what research results show about real benefits of Agile, Lean and other hype trends Analyze.
DriveSense’14 NSF Workshop on Large-Scale Traffic and Driving Activity Data DriveSense’14, Oct 30-31, Norfolk, VA.
Deepening Our Understanding of Communities of Practice in Large-Scale Agile Development 凌杰甫.
Formal Methods and Testing: Possible Attributes for Success A. J. Cowling Department of Computer Science University of Sheffield.
1 COMPUTER SCIENCE DEPARTMENT COLORADO STATE UNIVERSITY 1/9/2008 SAXS Software.
Presented by 劉乃菀 Department of Computer Science & information Engineering May 30 th, 2011.
Copyright © 2015 McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education.
Interoperable Information System of Systems for HTAP.
Game Programmer By: Lindsey Holcomb. What they do Game programmers work at the heart of the game development process. They design and write the computer.
© BLR ® —Business & Legal Resources 1408 Motivating Employees Tips and Tactics for Supervisors.
AIPC Academy 2008 Report and Plans for 2009 Program.
Interacting with consumer Software Engineering. So far… What is Software Engineering? Different software process models waterfall, incremental, spiral.
Chapter 3 The Knowledge Leader
The External Environment
Kathy Brinker Nancy Lopez Laura Massier Mary Young Observing Leadership Roles in Shared Decision Making.
Interactive Teaching Resources. Encourages maximum amount of interaction between teachers and students Ideally with a 70/30 split between student participation.
Inspection of Software Requirements to support Project/Quality Management an Empirical Study Stefan Biffl Institut für Softwaretechnik Technische Universität.
Chapter 8-1 Chapter 8 Accounting Information Systems Information Technology Auditing Dr. Hisham madi.
Research on self-adaptive decision-making mechanism for competition strategies in robot soccer Frontiers of Computer Science, 2015, 9(3):485–494 Haobin.
Learner voice and post-16 citizenship. Arguments icebreaker 3 roles: Arguer Counter-arguer Observer Scores One mark for a relevant point in the argument.
Rick Selby Software Products, Northrop Grumman & Adjunct Faculty, University of Southern California Los Angeles, CA Candidate member Main empirical research.
Agency in educational robotics settings: a new design approach
University & Industry Collaborative IP Development
Principles of Management-II
Software Engineering Experimentation
Software Engineering Lecture #40
Engineering Design Process
Software Engineering Experimentation
Presentation transcript:

’05 Eur Ing Dr. A. J. (Tony) Cowling Senior Lecturer Verification and Testing Research Group Department of Computer Science, U. of Sheffield Homepages: Personal: Group: List of main empirical research areas:  Comparing complete development processes  Understanding how processes actually work  How formal methods are actually used Main motivation for joining ISERN:  To interact more effectively with the ESE community  contributing our experience, results, etc  gaining from the experience and results of others Planned contributions to the community:  Experience of large-scale experimentation Candidate member

’05 Main empirical research areas:  Comparing complete development processes:  agile versus document-driven processes  combining the best features of different processes;  Understanding how processes actually work:  what process features affect efficiency?  what process features affect quality of products?  how do process features interact?  how do individual personalities and team aspects affect these?  How formal methods are actually used:  the role of testing and verification in achieving quality  factors influencing their use in practice. Candidate member Eur Ing Dr. A. J. (Tony) Cowling Senior Lecturer Verification and Testing Research Group Department of Computer Science, U. of Sheffield

’05 Main motivation for joining ISERN:  To interact more effectively with the ESE community  contributing our experience, results, etc  gaining from the experience and results of others  mutually advancing knowledge and practice Expectations  To input to collaborations  our experience is distinctive, but comparatively limited  To benefit from collaborations  ideas that might help us to work more effectively  To achieve more in collaboration than we could on our own Motivation & Expectation

’05 Planned contributions to the community:  Experience of large-scale experimentation  an infrastructure for comparative experiments on complete processes  a framework in which to fit comparisons of individual methods  Experience of developing curricula in software engineering  including the projects which we observe in our experiments  with a strong emphasis on appropriate formal methods and testing Current collaborations with ISERN (if any):  Contributions to this meeting:  session on data ownership  session on balancing practices (inspections, testing, etc) Contribution & Collaboration