Electronic books 189 Software engineering 93 Computer software 81 Formal methods (Computer science) 50 Development 37 Reliability 27 Software 25 more ... Verification 25 Computer science 18 Testing 18 Computer programming 15 Distributed processing 15 Electronic data processing 15 Computer security 13 Object-oriented programming (Computer science) 12 Programming languages (Electronic computers) 12 Computer systems 11 Computer programs 10 Evaluation 10 Quality control 10 Service-oriented architecture (Computer science) 10 Component software 9 Computer architecture 9 Human-computer interaction 9 Software architecture 9 Web Services 9 Artificial intelligence 8 Automatic theorem proving 8 Model-driven software architecture 8 Computer networks 6 Formal methods Computer science 6 Parallel processing (Electronic computers) 6 Parallel programming (Computer science) 6 Software measurement 6 Web services 6 Computer Systems 5 Computer-assisted instruction 5 Computers 5 Fault-tolerant computing 5 Intelligent tutoring systems 5 Medical informatics 5 Programming Techniques 5 Computer Communication Networks 4 Computer logic 4 Computer simulation 4 Data processing 4 Data transmission systems 4 Database management 4 Electronic commerce 4 Electronic digital computers 4 Industrial safety 4 Kongress 4 Logics and Meanings of Programs 4 Management of Computing and Information Systems 4 Mathematics 4 Object-oriented methods (Computer science) 4 OpenMP 4 Parallel computers 4 Programming Languages 4 Security measures 4 Softwareentwicklung 4 System design 4 User-centered system design 4 Virtual computer systems 4 Automatic Data Processing 3 Autonomic computing 3 Computing Methodologies 3 Constraint programming (Computer science) 3 Declarative programming 3 Declarative programming languages 3 Design 3 Educational technology 3 Fault tolerance (Engineering) 3 Functional programming (Computer science) 3 Internet 3 Mensch-Maschine-Kommunikation 3 Model Checking 3 Programming Languages, Compilers, Interpreters 3 Self-adaptive software 3 Semantic Web 3 Semantics 3 System analysis 3 Telecommunication systems 3 Transaction systems (Computer systems) 3 Ada Computer program language 2 Algorithm Analysis and Problem Complexity 2 Application software 2 Benutzeroberfläche 2 COMPUTERS / Programming / Open Source 2 COMPUTERS / Software Development & Engineering / General 2 COMPUTERS / Software Development & Engineering / Tools 2 Cloud computing 2 Computer algorithms 2 Computer network architectures 2 Computer network protocols 2 Computer-aided software engineering 2 Computers and Society 2 Database Management Systems 2 Decision making 2 Document markup languages 2 less ...