Výsledky vyhledávání - Software/Program Verification—Programming by contract Keywords Software Evolution*

Software change contracts

Autoři: Dawei Qi Jooyong Yi Abhik Roychoudhury a další

Přispěvatelé: Dawei Qi Jooyong Yi Abhik Roychoudhury a další

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

Témata: 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

Popis souboru: 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

Dostupnost: 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.

Autoři: JOOYONG YI DAWEI QI SHIN HWEI TAN a další

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

Témata: SOFTWARE engineering, COMPUTER software correctness, COMPUTER programming management, JAVA programming language software, PROGRAMMING languages

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts.

Autoři: Rebelo, Henrique Leavens, Gary T. Bagherzadeh, Mehdi a další

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

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

Autoři: Rebêlo, Henrique Leavens, Gary T.

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

Modular Reasoning in the Presence of Event Subtyping.

Autoři: BagOerzadeOα, Mehdi Dyer, Robert Fernando, Rex D. a další

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

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

Autoři: Erdweg, Sebastian Vergu, Vlad Mezini, Mira a další

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

Principles of Systems Design

Autoři: Jean-François Raskin Krishnendu Chatterjee Laurent Doyen a další

Resource Type: eBook.

Témata: 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

Autoři: Mohapatra, Pratap K.J

Resource Type: eBook.

Témata: Software engineering

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

Unimagined Futures – ICT Opportunities and Challenges

Autoři: Leon Strous Roger Johnson David Alan Grier a další

Resource Type: eBook.

Témata: 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

Autoři: P. Martin Larsen N. E. Hansen

Resource Type: eBook.

Témata: 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

Autoři: Philippe Gourbesville Guy Caignaert

Resource Type: eBook.

Témata: 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

Autoři: Brad A. Stach Virginia Ramachandran

Resource Type: eBook.

Témata: Hearing disorders, Audiology, Hearing disorders--Treatment

Categories: MEDICAL / Audiology & Speech Pathology

Design of Biomedical Devices and Systems, 4th Edition

Autoři: Paul H. King Richard C. Fries Arthur T. Johnson

Resource Type: eBook.

Témata: 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

Autoři: Gale Research Inc

Resource Type: eBook.

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

Springer Handbook of Model-Based Science

Autoři: Lorenzo Magnani Tommaso Bertolotti

Resource Type: eBook.

Témata: 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

Autoři: David A. Whetten Kim S. Cameron

Resource Type: eBook.

Témata: 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

Autoři: Bradham, Tamala S. Houston, K. Todd

Resource Type: eBook.

Témata: Auditory perception, Children, Auditory perception--Testing, Language acquisition

Categories: MEDICAL / Surgery / General

Manufacturing and Engineering Developments

Autoři: Shao Bo Zhong Yi Qiang Zhang

Resource Type: eBook.

Témata: Chemical engineering, Chemistry, Engineering, Mechanical engineering, Physics, Science

Categories: TECHNOLOGY & ENGINEERING / General

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

Autoři: George Beekman Ben Beekman

Resource Type: eBook.

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

Innovating Government

Autoři: Simone van der Hof Marga M. Groothuis

Resource Type: eBook.

Témata: Internet in public administration, Political ethics

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