Suchergebnisse - Software/Program Verification—Programming by contract Keywords Software Evolution

Software change contracts

Autoren: Dawei Qi Jooyong Yi Abhik Roychoudhury et al.

Weitere Verfasser: Dawei Qi Jooyong Yi Abhik Roychoudhury et al.

Quelle: http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Languages, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Software Evolution, Regression Testing, Change Contract, JML

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983; http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983
http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf

Software Change Contracts.

Autoren: JOOYONG YI DAWEI QI SHIN HWEI TAN et al.

Quelle: ACM Transactions on Software Engineering & Methodology; May2015, Vol. 24 Issue 3, p1-43, 43p

Schlagwörter: SOFTWARE engineering, COMPUTER software correctness, COMPUTER programming management, JAVA programming language software, PROGRAMMING languages

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts.

Autoren: Rebelo, Henrique Leavens, Gary T. Bagherzadeh, Mehdi et al.

Quelle: Aspect-oriented Software Development; 4/22/14, p157-168, 12p

Enforcing Information Hiding in Interface Specifications: A Client-Aware Checking Approach.

Autoren: Rebêlo, Henrique Leavens, Gary T.

Quelle: Aspect-oriented Software Development; 3/16/15, p47-51, 5p

Modular Reasoning in the Presence of Event Subtyping.

Autoren: BagOerzadeOα, Mehdi Dyer, Robert Fernando, Rex D. et al.

Quelle: Aspect-oriented Software Development; 3/16/15, p117-132, 16p

Modular Specification and Dynamic Enforcement of Syntactic Language Constraints when Generating Code.

Autoren: Erdweg, Sebastian Vergu, Vlad Mezini, Mira et al.

Quelle: Aspect-oriented Software Development; 4/22/14, p241-252, 12p

Principles of Systems Design

Autoren: Jean-François Raskin Krishnendu Chatterjee Laurent Doyen et al.

Resource Type: eBook.

Schlagworte: Computer science, Machine theory, Artificial intelligence, Software engineering

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General

Software Engineering : A Lifecycle Approach

Autoren: Mohapatra, Pratap K.J

Resource Type: eBook.

Schlagworte: Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Open Source, COMPUTERS / Software Development & Engineering / Tools

Unimagined Futures – ICT Opportunities and Challenges

Autoren: Leon Strous Roger Johnson David Alan Grier et al.

Resource Type: eBook.

Schlagworte: Artificial intelligence, Information technology, Internet of things, Quantum computing

Categories: COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Software Development & Engineering / General

Computer Aided Design in Control and Engineering Systems : Advanced Tools for Modern Technology

Autoren: P. Martin Larsen N. E. Hansen

Resource Type: eBook.

Schlagworte: Computer-aided design--Congresses, Automatic control--Data processing--Congresses

Categories: COMPUTERS / Business & Productivity Software / Business Intelligence, COMPUTERS / Design, Graphics & Media / Graphics Tools

Advances in Hydroinformatics

Autoren: Philippe Gourbesville Guy Caignaert

Resource Type: eBook.

Schlagworte: Water, Hydrology, Environmental engineering, Civil engineering, Geographic information systems, Mathematics—Data processing

Categories: SCIENCE / Earth Sciences / Hydrology, COMPUTERS / Computer Science, MATHEMATICS / Applied, SCIENCE / Earth Sciences / Geography, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Environmental / General

Clinical Audiology: An Introduction, Third Edition

Autoren: Brad A. Stach Virginia Ramachandran

Resource Type: eBook.

Schlagworte: Hearing disorders, Audiology, Hearing disorders--Treatment

Categories: MEDICAL / Audiology & Speech Pathology

Design of Biomedical Devices and Systems, 4th Edition

Autoren: Paul H. King Richard C. Fries Arthur T. Johnson

Resource Type: eBook.

Schlagworte: Biomedical engineering

Categories: TECHNOLOGY & ENGINEERING / Biomedical, MEDICAL / Biotechnology, TECHNOLOGY & ENGINEERING / Materials Science / General

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autoren: Gale Research Inc

Resource Type: eBook.

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

Springer Handbook of Model-Based Science

Autoren: Lorenzo Magnani Tommaso Bertolotti

Resource Type: eBook.

Schlagworte: Science--Simulation methods

Categories: COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Logic, PSYCHOLOGY / Cognitive Psychology & Cognition, SCIENCE / Physics / General, SCIENCE / Philosophy & Social Aspects, TECHNOLOGY & ENGINEERING / Engineering (General)

Developing Management Skills, Global Edition

Autoren: David A. Whetten Kim S. Cameron

Resource Type: eBook.

Schlagworte: Management--Study and teaching, Management--Problems, exercises, etc

Categories: BUSINESS & ECONOMICS / Organizational Behavior, BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Management Science, BUSINESS & ECONOMICS / Industrial Management

Assessing Listening and Spoken Language in Children with Hearing Loss

Autoren: Bradham, Tamala S. Houston, K. Todd

Resource Type: eBook.

Schlagworte: Auditory perception, Children, Auditory perception--Testing, Language acquisition

Categories: MEDICAL / Surgery / General

Manufacturing and Engineering Developments

Autoren: Shao Bo Zhong Yi Qiang Zhang

Resource Type: eBook.

Schlagworte: Chemical engineering, Chemistry, Engineering, Mechanical engineering, Physics, Science

Categories: TECHNOLOGY & ENGINEERING / General

Digital Planet: Tomorrow's Technology and You : Pearson New International Edition

Autoren: George Beekman Ben Beekman

Resource Type: eBook.

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Social Aspects

Innovating Government

Autoren: Simone van der Hof Marga M. Groothuis

Resource Type: eBook.

Schlagworte: Internet in public administration, Political ethics

Categories: LAW / General, COMPUTERS / General, LAW / Science & Technology, POLITICAL SCIENCE / Public Affairs & Administration