Software engineering
Resource Information
The concept Software engineering represents the subject, aboutness, idea or notion of resources found in Massey University Library, University of New Zealand.
The Resource
Software engineering
Resource Information
The concept Software engineering represents the subject, aboutness, idea or notion of resources found in Massey University Library, University of New Zealand.
- Label
- Software engineering
- Authority link
- http://id.loc.gov/authorities/subjects/sh87007398
100+ Items that share the Concept Software engineering
Context
Context of Software engineeringSubject of
- 4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge
- 5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
- A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 Proceedings
- A Discipline of Multiprogramming : Programming Theory for Distributed Applications
- A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
- A Pathology of Computer Viruses
- A Primer in Petri Net Design
- A Structured Programming Approach to Data
- A System V Guide to UNIX and XENIX
- A Systematic Catalogue of Reusable Abstract Data Types
- A Taxonomy for Texture Description and Identification
- AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15-18, 1988 Proceedings
- AI 2018: Advances in Artificial Intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
- AI and Cognitive Science '90 : University of Ulster at Jordanstown 20-21 September 1990
- AI and Cognitive Science '92 : University of Limerick, 10-11 September 1992
- Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19 24, 2000 Proceedings
- Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3 7, 2003 Proceedings
- Abstract State Machines : a Method for High-Level System Design and Analysis
- Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium
- Active networks : first international working conference, IWAN '99, Berlin, Germany, June 30-July 2, 1999 : proceedings
- Ada 95 Rationale : the Language : The Standard Libraries
- Ada 95 Reference Manual : Language and Standard Libraries
- Adaptive Signal Processing : Theory and Applications
- Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24-30, 1995 Tutorial Text
- Advanced Functional Programming : Second International School Olympia, WA, USA, August 26-30, 1996 Tutorial Text
- Advanced Information Processing : Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences of the USSR, Siemens AG, FRG Moscow, June 5/6, 1990
- Advanced Information Systems Engineering : 5th International Conference, CAiSE '93 Paris, France, June 8-11, 1993 Proceedings
- Advanced Information Systems Engineering : 7th International Conference, CAiSE '95 Jyväskylä, Finland, June 12-16, 1995 Proceedings
- Advanced Information Systems Engineering : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20-24, 1996 Proceedings
- Advances in Computer Graphics : Images: Synthesis, Analysis, and Interaction
- Advances in Computer Graphics Hardware V : Rendering, Ray Tracing and Visualization Systems
- Advances in Computer Graphics V
- Advances in Computing Science ASIAN'97 : Third Asian Computing Science Conference Kathmandu, Nepal, December 911, 1997 Proceedings
- Advances in Cryptology – CRYPTO 2018 : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I
- Advances in Cryptology – CRYPTO 2018 : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II
- Advances in Cryptology – CRYPTO 2018 : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III
- Advances in Multimodal Interfaces " ICMI 2000 : Third International Conference Beijing, China, October 14 16, 2000 Proceedings
- Advances in Scientific Visualization
- Advances in Software Engineering : Comprehension, Evaluation, and Evolution
- Advances in Web-Based Learning ICWL 2004 : Third International Conference, Beijing, China, August 8-11, 2004. Proceedings
- Advances in software engineering and knowledge engineering
- Agent Technology : Foundations, Applications, and Markets
- Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, the Netherlands, January 22-25, 1996 Proceedings
- Agile Software Development Teams
- Agile Swift : Swift programming using Agile tools and techniques
- Algebraic Foundations of Systems Specification
- Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993
- Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings
- Algebraic Specifications in Software Engineering : an Introduction
- Algorithm Synthesis: A Comparative Study
- Algorithmic Language and Program Development
- Algorithms, Software and Hardware of Parallel Computers
- Ambient Intelligence : First European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3-4, 2003. Proceedings
- An Integrated Approach to Software Engineering
- An integrated approach to software engineering
- Analysis and Design of Information Systems
- Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26 30, 2000 Proceedings
- Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981
- Applications and Innovations in Intelligent Systems IX : Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2001
- Applications and Innovations in Intelligent Systems VIII : Proceedings of ES2000, the Twentieth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2000
- Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23 27, 2003 Proceedings
- Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings
- Applications and Theory of Petri Nets : Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)
- Applications of Invariance in Computer Vision : Second Joint European -- US Workshop Ponta Delgada, Azores, Portugal October 9-14, 1993 Proceedings
- Approaches to Intelligence Agents : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA99 Kyoto, Japan, December 23, 1999 Proceedings
- Approaches to Prototyping
- Architecting software intensive systems : a practitioner's guide
- Architecture-Independence Loop Parallelisation
- Artificial General Intelligence : 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings
- Artificial Intelligence Techniques : a Comprehensive Catalogue
- Artificial Neural Networks in Medicine and Biology : Proceedings of the ANNIMAB-1 Conference, Göteborg, Sweden, 13-16 May 2000
- Artificial intelligence and software engineering : understanding the promise of the future
- Aspect-Oriented Database Systems
- Asynchronous Digital Circuit Design
- Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings
- Automated Practical Reasoning : Algebraic Approaches
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
- Automated theorem proving in software engineering
- Automatic Re-engineering of Software Using Genetic Programming
- Automation and Systems Issues in Air Traffic Control
- Automotive software engineering : principles, processes, methods, and tools
- Basics of Software Engineering Experimentation
- Beginning AI bot frameworks : getting started with bot development
- Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes
- Bridging the Information Gap : for Small and Medium Enterprises
- Bringing Telecommunication Services to the People -- IS & N '95 : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16-19, 1995 Proceedings
- Broadband Communications Networks, Services, Applications, Future Directions : 1996 International Zurich Seminar on Digital Communications, IZS'96 Zurich, Switzerland, February 21-23, 1996 Proceedings
- Building Interactive Systems : Architectures and Tools
- Business Continuity : IT Risk Management for International Corporations
- Business Process Oriented Implementation of Standard Software : How to Achieve Competitive Advantage Quickly and Efficiently
- C A Software Engineering Approach
- C++ Toolkit for Engineers and Scientists
- C++/CLI primer : for .NET development
- C2 Compiler Concepts
- C: A Software Engineering Approach
- CAD Geometry Data Exchange Using STEP : Realisation of Interface Processors
- CGM and CGI : Metafile and Interface Standards for Computer Graphics
- CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings
- Case Technology : a Special Issue of the Journal of Systems Integration
- Catalogue of Artificial Intelligence Techniques
- Categorical Methods in Computer Science With Aspects from Topology
- Challenges in Design and Implementation of Middlewares for Real-Time Systems
- Chief technology officer, PASS Training & Compliance
- Clause and Effect : Prolog Programming for the Working Programmer
- Code Optimization Techniques for Embedded Processors : Methods, Algorithms, and Tools
- Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use
- Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use Volume 1
- Come, Let's Play : Scenario-Based Programming Using LSCs and the Play-Engine
- Common SAP R/3 Functions Manual
- Communication and Cooperation in Agent Systems : a Pragmatic Theory
- Comparing and Aligning Process Representations : Foundations and Technical Solutions
- Compiler Construction : 5th International Conference, CC '94 Edinburgh, U.K., April 7-9, 1994 Proceedings
- Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24-26, 1996 Proceedings
- Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do
- Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
- Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part II
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part III
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV
- Computational Science -- ICCS 2001 : International Conference San Francisco, CA, USA, May 28-30, 2001 Proceedings, Part I
- Computational Science and Its Applications ICCSA 2003 : International Conference Montreal, Canada, May 18-21, 2003 Proceedings, Part III
- Computational intelligence in software engineering
- Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29-31, 1996 Proceedings
- Computer Aided Systems Theory - EUROCAST'97 : a Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 1997 Proceedings
- Computer Aided Systems Theory -- EUROCAST '95 : a Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22-25, 1995 Proceedings
- Computer Aided Verification
- Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
- Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3-5, 1995 Proceedings
- Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31- August 3, 1996 Proceedings
- Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 2225, 1997 Proceedings
- Computer Algorithms for Solving Linear Algebraic Equations : the State of the Art
- Computer Graphics Programming : GKS -- The Graphics Standard
- Computer Networks and Systems : Queueing Theory and Performance Evaluation
- Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 1417, 2002 Proceedings
- Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings
- Computer Systems and Software Engineering : State-of-the-art
- Computer and Information Sciences - ISCIS 2003 00 : 18th International Symposium, Antalya, Turkey, November 3-5, 2003. Proceedings
- Computer and Information Sciences - ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings
- Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings
- Computer-Aided Reasoning : ACL2 Case Studies
- Computer-Aided Reasoning : an Approach
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings
- Computing in Horn Clause Theories
- Conceptual Modeling " ER 2001 : 20th International Conference on Conceptual Modeling Yokohama, Japan, November 27 30, 2001 Proceedings
- Conceptual Modeling " ER 2002 : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7 11, 2002 Proceedings
- Conceptual Modeling - ER 2003 : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003. Proceedings
- Conceptual Modeling ER 2004 : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings
- Constraint-Based Design Recovery for Software Reengineering : Theory and Experiments
- Construction and analysis of transition systems with MEC
- Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
- Converged Networking : Data and Real-time Communications over IP
- Cooperative Interfaces to Information Systems
- Coping with IS/IT Risk Management : the Recipes of Experienced Project Managers
- Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2-4, 1995 Proceedings
- Critical Issues in User Interface Systems Engineering
- Cryptographic Hardware and Embedded Systems - CHES 2002 : 4th International Workshop Redwood Shores, CA, USA, August 13 15, 2002 Revised Papers
- Cryptographic Hardware and Embedded Systems - CHES 2004 00 : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings
- Cryptographic Hardware and Embedded Systems : First InternationalWorkshop, CHES'99 Worcester, MA, USA, August 12-13, 1999 Proceedings
- Current Issues in Safety-Critical Systems : Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003
- Curves and Surfaces in Computer Aided Geometric Design
- Custom Memory Management Methodology : Exploration of Memory Organisation for Embedded Multimedia System Design
- Data Fusion Applications : Workshop Proceedings Brussels, November 25, 1992
- Data flow analysis : theory and practice
- Data structure and software engineering : challenges and improvements
- Database Recovery
- Databases and Information Systems : Fourth International Baltic Workshop, Baltic DB & IS 2000 Vilnius, Lithuania, May 1-5, 2000 Selected Papers
- Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
- Dependable Computing : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings
- Dependable Computing for Critical Applications
- Dependable Computing for Critical Applications 2
- Dependable Computing for Critical Applications 4
- Design Principles for Interactive Software
- Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings
- Design of Dependable Computing Systems
- Design of Reservation Protocols for Multimedia Communication
- Design of Speech-based Devices : a Practical Guide
- Design of enterprise systems : theory, architecture, and methods
- Designing Effective and Usable Multimedia Systems : Proceedings of the IFIP Working Group 13.2 Conference on Designing Effective and Usable Multimedia Systems Stuttgart, Germany, September 1998
- DevOps, DBAs, and DBaaS : Managing Data Platforms to Support Continuous Integration
- Developing Business Applications with OpenStepTM
- Dictionary of Acronyms and Technical Abbreviations : For Information and Communication Technologies and Related Areas
- Diffusing Software Product and Process Innovations : IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April 7-10, 2001, Banff, Canada
- Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003. Proceedings
- Directions in Safety-Critical Systems : Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993
- Director of engineering, Northrop Grumman Corp.
- Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, the Netherlands, September 29 - October 1, 1994 Proceedings
- Distributed Applications Engineering : Building New Applications and Managing Legacy Applications with Distributed Technologies
- Distributed Applications and Interoperable Systems II : IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland
- Distributed Computing - IWDC 2003 : 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings
- Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22-24, 1991 Proceedings
- Distributed Systems : Software Design and Implementation
- Distributed Systems for System Architects
- Distributed Virtual Worlds : Foundations and Implementation Techniques Using VRML, Java, and CORBA
- Domain Modeling-Based Software Engineering : a Formal Approach
- Domain Modelling for Interactive Systems Design
- Duration Calculus : a Formal Approach to Real-Time Systems
- E-Management : the Impact of e-Business on Today's IT Manager
- ECOOP '91 : European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings
- ECOOP' 93 -- Object-Oriented Programming : 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings
- ECOOP'95 -- Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995
- ECOOP'97 Object-Oriented Programming : 11th European Conference Jyvskyl, Finland, June 913, 1997 Proceedings
- ECOOP'98 - Object-Oriented Programming : 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings
- ESOP '92 : 4th European Symposium on Programming Rennes, France, February 26-28, 1992 Proceedings
- Effective methods for software and systems integration
- Efficient Graph Rewriting and Its Implementation
- Electronic Systems Effectiveness and Life Cycle Costing
- Elements of C
- Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets
- Embedded Software for SoC
- Embedded software development for safety-critical systems
- Empirical Foundations of Information and Software Science III
- Empirical methods and studies in software engineering : experiences from ESERNET
- Empirical research in software engineering : concepts, analysis, and applications
- Engineering Databases : Connecting Islands of Automation Through Databases
- Engineering Intelligent Hybrid Multi-Agent Systems
- Engineering Self-Organising Systems : Nature-Inspired Approaches to Software Engineering
- Engineering electronic negotiations : a guide to electronic negotiation technologies for the design and implementation of next-generation electronic markets-- future silkroads of eCommerce
- Enterprise, Business-Process and Information Systems Modeling : 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings
- Environmental Software Systems : Proceedings of the International Symposium on Environmental Software Systems, 1995
- Essential Dynamic HTML fast
- Essential Java 2 fast : How to develop applications and applets with Java 2
- Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29 1996 Proceedings, Volume I
- Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29, 1996 Proceedings, Volume II
- Eurographics Tutorials '83
- Evolvable Components : From Theory to Hardware Implementations
- Experiences with Distributed Systems : International Workshop Kaiserslautern, FRG, September 28-30, 1987 Proceedings
- Experimentation in Software Engineering : an Introduction
- Expert Systems Lab Course
- Exploration and Innovation in Design : Towards a Computational Model
- Extreme Programming and Agile Methods - XP / : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings.
- Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004. Proceedings
- FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume I
- FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume II
- FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings
- FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18-22, 1996 Proceedings
- FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
- Fairness
- Fault-Tolerant Computing Systems : Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25-27, 1991 Proceedings
- Finiteness and Regularity in Semigroups and Formal Languages
- Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
- Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers
- Formal Engineering for Industrial Software Development : Using the SOFL Method
- Formal Methods and Models for System Design : a System Level Perspective
- Formal Methods and Software Engineering
- Formal Methods for Distributed System Development : FORTE
- Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
- Formal Methods in Standards : a Report from the BCS Working Group
- Formal Methods in Systems Engineering
- Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
- Formal Specification : Techniques and Applications
- Formal Specification Techniques for Engineering Modular C Programs
- Formal Techniques for Networked and Distributed Systems : FORTE 2001 IFIP TC6/WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems August 28-31, 2001, Cheju Island, Korea
- Formal Techniques for Networked and Distributed Systems FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
- Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings
- Formal foundations for software engineering methods
- Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings
- Foundations of Software Technology and Theoretical Computer Science : 19th Conference Chennai, India, December 13-15, 1999 Proceedings
- Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
- Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
- Foundations of software engineering
- From Object Modelling to Advanced Visual Communication
- Functional Integration : Theory and Applications
- Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland
- Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland
- Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991
- Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
- Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
- Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics
- Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints
- Generic Programming : IFIP TC2
- Genetic Algorithms + Data Structures : Evolution Programs
- Geometric Modeling: Theory and Practice : the State of the Art
- Global software engineering : virtualization and coordination
- Graph Drawing : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10-12, 1994 Proceedings
- Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20-22, 1995 Proceedings
- Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings
- Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
- Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28-October 1, 2004. Proceedings
- Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2-6, 1986
- Grid Computing " GRID 2001 : Second International Workshop Denver, CO, USA, November 12, 2001 Proceedings
- Grid Computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2004. Revised Papers
- Grid and Cooperative Computing - GCC 2004 : Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings
- Guide to Applying Human Factors Methods : Human Error and Accident Management in Safety-Critical Systems
- Guide to Computer Viruses : How to avoid them, how to get rid of them, and how to get help
- Guide to Web Application and Platform Architectures
- Hector Heterogeneous Computers Together A Joint Project of IBM and the University of Karlsruhe : Volume II: Basic Projects
- High Integrity Software
- High Performance Computing " HiPC 2001 : 8th International Conference Hyderabad, India, December 17 20, 2001 Proceedings
- High Performance Computing - HiPC 2003 : 10th International Conference, Hyderabad, India, December 17-20, 2003. Proceedings
- High Performance Computing for Computational Science " VECPAR 2002 : 5th International Conference Porto, Portugal, June 26 28, 2002 Selected Papers and Invited Talks
- High Speed LAN Technology Handbook
- High-Integrity System Specification and Design
- High-Performance Computing and Networking : 7th International Conference, HPCN Europe 1999 Amsterdam, the Netherlands, April 1214, 1999 Proceedings
- High-level Petri Nets : Theory and Application
- Home Informatics and Telematics : Information, Technology and Society
- Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20-22, 1993 Proceedings
- Human-Computer Interaction : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2-5, 1994 Selected Papers
- Human-Computer Interaction : Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers
- Hypercube Algorithms : with Applications to Image Processing and Pattern Recognition
- IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990
- Identifying Relevant Information for Testing Technique Selection : an Instantiated Characterization Schema
- Image Analysis and Processing : 8th International Conference, ICIAP'95 San Remo, Italy, September 13-15, 1995 Proceedings
- Implementing domain-specific languages with Xtext and Xtend : learn how to implement a DSL with Xtext and Xtend using easy-to-understand examples and best practices
- Incompleteness and Uncertainty in Information Systems : Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993
- Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
- Industrial Applications of Fuzzy Technology
- Industrial Perspectives of Safety-critical Systems : Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998
- Industrial-Strength Formal Methods in Practice
- Information Management for Engineering Design
- Information System Concepts: An Integrated Discipline Emerging : IFIP TC8/WG8.1 International Conference on Information System Concepts: An Integrated Discipline Emerging (ISCO-4)September 20-22, 1999, University of Leiden, the Netherlands
- Information Systems : the e-Business Challenge
- Information Systems Engineering : an Introduction
- Information Technology and the Computer Network
- Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
- Information and Database Quality
- Information and the Internal Structure of the Universe : an Exploration into Information Physics
- Inheritance Relationships for Disciplined Software Construction
- Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- Integrated Management of Technical Documentation : the System SPRITE
- Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
- Integrating the internet of things into software engineering practices
- Integrity and Internal Control in Information Systems VI : IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13-14 November 2003, Lausanne, Switzerland
- Intelligent Agents II Agent Theories, Architectures, and Languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 Proceedings
- Intelligent Agents IV Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 2426, 1997 Proceedings
- Intelligent CAD Systems I : Theoretical and Methodological Aspects
- Intelligent Tutoring Systems : 5th International Conference, ITS 2000 Montréal, Canada, June 19 23, 2000 Proceedings
- Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14, 1996 Proceedings
- Intelligent perceptual systems : new directions in computational perception
- Interactive Multimedia Learning Environments : Human Factors and Technical Considerations on Design Issues
- Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
- Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
- Interdisciplinary approaches to information systems and software engineering
- Interface Development for Learning Environments : Establishing Connections Between Users and Learning
- Into the Realm of Oberon : an Introduction to Programming and the Oberon-2 Programming Language
- Introducing Fortran 90
- Introducing Fortran 95
- Introduction to Process Algebra
- Introduction to Programming with Modula-2
- Introduction to Scientific Programming : Computational Problem Solving Using Maple and C
- Introduction to software engineering
- Invasive software composition
- Issues in Software Engineering Education
- Iterative software engineering for multiagent systems : the MASSIVE method
- JSP for Practical Program Design
- Java and the Java Virtual Machine : Definition, Verification, Validation
- Knowledge Engineering : Unifying Knowledge Base and Database Design
- Knowledge-based software engineering
- Language Constructs for Describing Features : Proceedings of the FIREworks workshop
- Learning Linux binary analysis : uncover the secrets of Linux binary analysis with this handy guide
- Lectures on Petri Nets I: Basic Models : Advances in Petri Nets
- Lectures on Petri Nets II: Applications : Advances in Petri Nets
- Lectures on Runtime Verification : Introductory and Advanced Topics
- Life Cycle Management For Dependability
- Lindenmayer Systems : Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
- Logic and Algebra of Specification
- Logic, Algebra, and Computation : International Summer School
- Low Earth Orbit Satellite Design
- ML with Concurrency : Design, Analysis, Implementation, and Application
- MMIXware : a RISC Computer for the Third Millennium
- Machine learning : EWSL-91 : European working session on learning, Porto, Portugal, March 6-8, 1991 : proceedings
- Managing Interactions in Smart Environments : 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99), Dublin, December 1999
- Managing Software Engineering Knowledge
- Managing Software Quality : a Measurement Framework for Assesment and Prediction
- Managing Your Software Project : a Student's Guide
- Managing the Change: Software Configuration and Change Management : Software Best Practice 2
- Maritime Simulation : Proceedings of the First Intercontinental Symposium, Munich, June 1985
- Mastering Git : attain expert-level proficiency with Git for enhanced productivity and efficient collaboration by mastering advanced distributed version control features
- Matchmaking in electronic markets : an agent-based approach towards matchmaking in electronic negotiations
- Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22-26, 1994 Proceedings
- Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28-September 1, 1995 Proceedings
- Mathematical Methods in Program Development
- Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings
- MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
- Methodologies and software engineering for agent systems : the agent-oriented software engineering handbook
- Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4 7, 2000 Proceedings
- Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12 16, 2001 Proceedings
- Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16 20, 2003 Proceedings
- Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004. Proceedings
- Mobile build engineer, Lowe's
- Model Based Fuzzy Control : Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers
- Model-Based Design and Evaluation of Interactive Applications
- Model-driven engineering of information systems : principles, techniques, and practice
- Modeling Design Objects and Processes
- Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
- Modula-2 : an Introduction
- Modular Compiler Verification : a Refinement-Algebraic Approach Advocating Stepwise Abstraction
- Modular Specification and Verification of Object-Oriented Programs
- Multiagent System Technologies
- Multiagent Systems for Manufacturing Control : a Design Methodology
- Multimedia Applications
- Multimedia Software Engineering
- Multimedia Systems
- Mural: A Formal Development Support System
- Mutation Testing for the New Century
- NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
- Network and Parallel Computing : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings
- Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
- Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part II
- Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part III
- Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
- Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part V
- Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VI
- Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VII
- Neural Networks : EURASIP Workshop 1990 Sesimbra, Portugal, February 15-17, 1990 Proceedings
- Neural Networks and the Financial Markets : Predicting, Combining and Portfolio Optimisation
- Next generation and advanced network reliability analysis : using Markov models and software reliability engineering
- Non-Functional Requirements in Software Engineering
- Notations for Software Design
- Number-Theoretic Methods in Cryptology : First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
- Numerical Linear Algebra, Digital Signal Processing and Parallel Algorithms
- OOER '95: Object-Oriented and Entity-Relationship Modeling : 14th International Conference Gold Coast, Australia, December 13-15, 1995 Proceedings
- OOIS' 95 : 1995 International Conference on Object Oriented Information Systems, 18-20 December 1995, Dublin. Proceedings
- OOIS'94 : 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London
- OSS for Telecom Networks : an Introduction to Network Management
- Object Oriented Computer Systems Engineering
- Object Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11-15, 1996 Proceedings
- Object-Oriented Application Development Using the Caché Postrelational Database
- Object-Oriented Discrete-Event Simulation with Java : a Practical Introduction
- Object-Oriented Metamethods
- Object-Oriented Programming : in Oberon-2
- Object-Oriented Programming : with Prototypes
- Object-Oriented Programming in Oberon-2
- Object-Oriented Technology : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 1216, 2000 Proceedings
- Object-Oriented Technologys : ECOOP'97 Workshop Reader ECOOP'97 Workshops Jyväskylä, Finland, June 9-13, 1997 Proceedings
- Object-Process Methodology : a Holistic Systems Paradigm
- Open Geometry: OpenGL® + Advanced Geometry
- Open Multithreaded Transactions : a Transaction Model for Concurrent Object-Oriented Programming
- Open Problems in Optimization and Data Analysis
- Opportunities and Constraints of Parallel Computing
- Organic and Pervasive Computing ARCS 2004 : International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004. Proceedings
- PARLE '91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings
- PARLE '91 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, the Netherlands, June 10-13, 1991 Proceedings
- PC Viruses : Detection, Analysis and Cure
- PHIGS by Example
- PISA : a Programming System for Interactive Production of Application Software
- Parallel Algorithms for Irregular Problems: State of the Art
- Parallel Computation : Second International ACPC Conference Gmunden, Austria, October 4-6, 1993 Proceedings
- Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23-25, 1996 Proceedings
- Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 15, 2000 Proceedings
- Parle '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989 Proceedings
- Parle '89 - Parallel Architectures and Languages Europe : Volume Ii: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989 Proceedings
- Patterns and Skeletons for Parallel and Distributed Computing
- Persistent Object Systems : Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992
- Persistent Object Systems : Proceedings of the Third International Workshop 10-13 January 1989, Newcastle, Australia
- Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
- Perspectives on Web Services : Applying SOAP, WSDL and UDDI to Real-World Projects
- Pervasive Computing : Second International Conference, PERVASIVE 2004, Linz/Vienna, Austria, April 21-23, 2004. Proceedings
- Petri Net Algebra
- Petri Nets : an Introduction
- Petri Nets for Systems Engineering : a Guide to Modeling, Verification, and Applications
- Photorealistic Rendering in Computer Graphics : Proceedings of the Second Eurographics Workshop on Rendering
- Pioneers and Their Contributions to Software Engineering : sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions
- Planetary Spacecraft Navigation
- Power Aware Computing
- Practical Scala DSLs : real-world applications using domain specific languages
- Practical Software Reuse
- Practical foundations of business system specifications
- Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
- Principles of Distributed Systems
- Principles of Package Design : Creating Reusable Software Components
- Process Algebra with Timing
- Process Technology
- Process improvement and CMMI for systems and software
- Professional issues in software engineering
- Program Development by Refinement : Case Studies Using the B Method
- Program Monitoring and Visualization : an Exploratory Approach
- Program Transformation and Programming Environments
- Programming Concepts and Methods PROCOMET '98 : IFIP TC2
- Programming Environments for Massively Parallel Distributed Systems : Working Conference of the IFIP WG 10.3, April 25-29, 1994
- Programming Languages and Systems -- ESOP '94 : 5th European Symposium on Programming Edinburg, U.K., April 11-13, 1994 Proceedings
- Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings
- Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 April 4, 1998 Proceedings
- Programming and Mathematical Method : International Summer School
- Programming in the 1990s : an Introduction to the Calculation of Programs
- Programming with Sets : an Introduction to SETL
- Progress in cryptology - INDOCRYPT 2018 : 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings
- Project Engineering : Computer-Oriented Planning and Operational Decision Making
- Proof in VDM: Case Studies
- Prototyping : an Approach to Evolutionary System Development
- Prototyping-Oriented Software Development : Concepts and Tools
- Qualità dei sistemi e del software : Il prossimo passo per l'industrializzazione
- Real-Time Object Measurement and Classification
- Real-Time and Multi-Agent Systems
- Recent Advances in Speech Understanding and Dialog Systems
- Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers
- Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers
- Recent advances in information science and technology
- Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997 : proceedings
- Reflection and software engineering
- Relational Database Technology
- Relational Matching
- Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 1621, 2001 Revised Papers
- Relations and Graphs : Discrete Mathematics for Computer Scientists
- Reliability and Robustness of Engineering Software II : Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991
- Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece
- Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings
- Rendering Techniques '95 : Proceedings of the Eurographics Workshop in Dublin, Ireland, June 12-14, 1995
- Rendering with mental ray®
- Requirements Engineering
- Requirements Engineering for Software and Systems
- Requirements engineering for software and systems, second edition
- Responsive Computer Systems
- Responsive Computing : a Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No. 3 (1994)
- Retargetable Code Generation for Digital Signal Processors
- Rethinking productivity in software engineering
- Reverse engineering
- Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
- STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17 19, 2000 Proceedings
- Safe Comp 95 : the 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995
- Safe Comp 96 : the 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996
- Safe Comp 97 : the 16th International Conference on Computer Safety, Reliability and Security
- Safer Systems : Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997
- Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995)
- Safety-Critical Systems: The Convergence of High Tech and Human Factors : Proceedings of the Fourth Safety-critical Systems Symposium
- Scientific Computing in Object-Oriented Parallel Environments : First International Conference, ISCOPE 97 Marina del Rey, California, USA December 811, 1997 Proceedings
- Scientific software design : the object-oriented way
- Search-Based Software Engineering : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
- Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany
- Security and Trust Management : 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
- Self-Stabilizing Systems : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 2425, 2003 Proceedings
- Semantic Integration of Heterogeneous Software Specifications
- Semantic Networks for Understanding Scenes
- Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
- Semantics of Specification Languages (SoSL) : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993
- Senior computer IT analyst, Software Engineering Institute at Carnegie Mellon University
- Service-Oriented Computing - ICSOC 2003 : First International Conference, Trento, Italy, December 15-18, 2003. Proceedings
- Services and Visualization Towards User-Friendly Design : ACoS'98, VISUAL'98, AIN'97 Selected Papers
- Shifting Paradigms in Software Engineering : Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992
- Signal Processing and Pattern Recognition in Nondestructive Evaluation of Materials
- Simulation and Model-Based Methodologies: An Integrative View
- Social Navigation of Information Space
- Social software engineering : development and collaboration with social networking
- Software Architectures : Advances and Applications
- Software Configuration Management : ICSE'96 SCM-6 Workshop Berlin, Germany, March 25-26, 1996 Selected Papers
- Software Defect and Operational Profile Modeling
- Software Development Tools
- Software Development and Reality Construction
- Software Diversity in Computerized Control Systems
- Software Engineering -- ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25-28, 1995 Proceedings
- Software Engineering Education : the Educational Needs of the Software Community
- Software Engineering and Environment : an Object-Oriented Perspective
- Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
- Software Engineering and Middleware : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20-21, 2002 Revised Papers
- Software Engineering for Large Software Systems
- Software Engineering for Manufacturing Systems : Methods and CASE tools. IFIP TC5 international conference on Software Engineering for Manufacturing Systems, 28-29 March 1996, Stuttgart, Germany
- Software Engineering for Variability Intensive Systems : Foundations and Applications
- Software Engineering in C
- Software Engineering on Sun Workstations®
- Software Engineering with Reusable Components
- Software Failure Risk : Measurement and Management
- Software Fault Tolerance : Achievement and Assessment Strategies