87 search results - page 7 / 18 » BIM: A Methodology to Transform Business Processes into Soft... |
CLEIEJ
2004
13 years 7 months ago
2004
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
SEKE
2004
Springer
14 years 1 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...
DAC
1997
ACM
14 years 20 hour ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...