1005 search results - page 189 / 201 » Formal Software Development in MAYA |
RE
2009
Springer
15 years 6 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
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...
106
click to vote
ICEBE
2007
IEEE
15 years 6 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
119
click to vote
DAGSTUHL
2001
15 years 1 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
BMCBI
2006
14 years 11 months ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...