Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface specifications » interface specification, service specifications, interface applications
specifications property » specification properties, specifications process, specifications program
programmed computing » programming computing, programming comparing, programmes competence
property programmed » prospects programmed, poverty programme, poverty programmes
https » http
interface specifications » interface specification, service specifications, interface applications
specifications property » specification properties, specifications process, specifications program
programmed computing » programming computing, programming comparing, programmes competence
property programmed » prospects programmed, poverty programme, poverty programmes
https » http
1
Published 2005
Table of Contents:
“... About Behavioral Aspects of B Event Specifications. Application to Security Properties -- Formal...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Seamless Development Process of Adaptive User Interfaces Explicitly Based on Usability Properties...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Invited Talks -- Formal Specifications on Industrial-Strength Code—From Myth to Reality -- I Think...”View full text
Electronic
eBook
5
Table of Contents:
“... perspective -- System Properties -- Structuring evolution: on the evolution of socio-technical systems -- Time...”
View full text
View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... and Design of Mobile TV in Everyday Life -- Culture, Interface Design, and Design Methods for Mobile Devices...”View full text
Electronic
eBook
7
by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011
Table of Contents:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Published 2011
View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... for Home Care -- MASL: A Logic for the Specification of Multiagent Real-Time Systems -- Modeling of Agents...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Informatics -- Bridging the Gap Between School Computing and the “Real World” -- Programming Versus...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“...Extending the Strided Communication Interface in OpenSHMEM -- Exploring OpenSHMEM Model to Program...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... for Platform Independent User Interface Design -- W8 – NfC -- Workshop on Models for Non-functional Properties...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Certifying Airport Security Regulations Using the Focal Environment -- Proving Safety Properties...”View full text
Electronic
eBook