1988 search results - page 40 / 398 » Engineering formal metatheory |
PDSE
1998
13 years 10 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
ICSE
1994
IEEE-ACM
14 years 25 days ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
EUROMICRO
2004
IEEE
14 years 14 days ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
IMCSIT
2010
13 years 6 months ago
2010
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...