Search results for: CONTRACT-BASED DESIGN
Filters
total: 12568
filtered: 50
-
Catalog
- Publications 10896 available results
- Journals 183 available results
- Conferences 50 available results
- People 282 available results
- Projects 13 available results
- Laboratories 2 available results
- e-Learning Courses 297 available results
- Events 11 available results
- Open Research Data 834 available results
Chosen catalog filters
Search results for: CONTRACT-BASED DESIGN
-
Participatory Design Conference
Conferences -
Design and Aesthetics in Visualisation
Conferences -
Design for User Experience
Conferences -
Design Automation Conf
Conferences -
International Conference on Pairing-based Cryptography
Conferences -
International Workshop on MultiAgent Based Simulation
Conferences -
International Conference on Case-Based Reasoning
Conferences -
Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)
Conferences -
Design and Management of Data Warehouses
Conferences -
Cooperative Design, Visualization, and Engineering
Conferences -
SIAM Conference on Geometric Design
Conferences -
International Conference on VLSI Design
Conferences -
International Symposium on Computer Design
Conferences -
Application of Concurrency to System Design
Conferences -
International Symposium on Physical Design
Conferences -
International Conference on AI in Design
Conferences -
International Conference on Web-based Modelling and Simulation
Conferences -
International Conference on IT Based Higher Education and Training
Conferences -
Information Integration and Web-based Applications and Services
Conferences -
International Symposium Component-Based Software Engineering
Conferences -
International Symposium on Search Based Software Engineering
Conferences -
Symposium on Networked Systems, Design and Implementation
Conferences -
Formal Methods in Computer-Aided Design
Conferences -
Design, Automation and Test in Europe Conference
Conferences -
International Workshop on Business Process Design
Conferences -
VisMasters Design Modelling and Visualization Conference
Conferences -
Asia and South Pacific Design Automation Conference (Asia Pacific Design Automation Conference ASDAC)
Conferences -
International Conference on Knowledge-based Intelligent Electronic Systems
Conferences -
IEEE International Conference on COTS-Based Software Systems
Conferences -
International Workshop on Realising Evidence-based Software Engineering
Conferences -
International Symposium on Logic-based Program Synthesis and Transformation
Conferences -
Exploring Modelling Methods in Systems Analysis and Design
Conferences -
IEEE Systems and Information Engineering Design Symposium
Conferences -
Usenix Symposium on Operating Systems Design and Implementation
Conferences -
Symposium on Design, Analysis, and Simulation of Distributed Systems
Conferences -
Unix Symposium on Operating Systems Design and Implementation
Conferences -
IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Conferences -
Euromicro International Conference on Parallel, Distributed and Network Based Processing
Conferences -
International Conference on Knowledge-Based and Intelligent Information and Engineering Systems
Conferences -
IEEE International Conference on Advanced Video and Signal Based Surveillance
Conferences -
International Conference on Formal Methods for Open Object-Based Distributed Systems
Conferences -
International Conference on Formal Methods and Models for Co-Design
Conferences -
International Conference on Computer Supported Cooperative Work in Design
Conferences -
Workshop on Aspect Oriented Requirements Engineering and Architecture Design
Conferences -
ACM-SIGPLAN Conference on Programming Language Design and Implementation
Conferences -
IEEE/ACM International Conference on Computer-Aided Design
Conferences -
ACM SIGPLAN Workshop on Types in Language Design and Implementation (was TIC)
Conferences -
International Conference on Design Science Research in Information Systems and Technology
Conferences -
International Conference on Legal Knowledge and Information Systems (International Conference on Legal Knowledge-based Systems)
Conferences -
Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) annual conference
Conferences