585 search results - page 59 / 117 » Structured Formal Development in Isabelle |
ENTCS
2007
14 years 11 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
IUI
2005
ACM
15 years 5 months ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
SSDBM
2003
IEEE
15 years 5 months ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...