462 search results - page 6 / 93 » Supporting e-commerce systems formalization with choreograph... |
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 8 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
BIS
2010
13 years 6 months ago
2010
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
AMAST
2004
Springer
13 years 12 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...