1799 search results - page 190 / 360 » The Logic of Correctness in Software Engineering |
156
click to vote
FSEN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
207
click to vote
SOCO
2007
Springer
16 years 20 days ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
168
click to vote
FORTE
2007
15 years 8 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
161
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
177
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...