185 search results - page 6 / 37 » SOFL: A Formal Engineering Methodology for Industrial Applic... |
94
Voted
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
ECIS
2001
14 years 11 months ago
2001
The Internet has had a significant impact on the process of developing information systems. However, there has been little research that has examined specifically the role of deve...
RE
2009
Springer
15 years 4 months ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
SEKE
2004
Springer
15 years 2 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...