715 search results - page 53 / 143 » Application of Formal Methods to the Development of a Softwa... |
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
EUROMICRO
1996
IEEE
14 years 28 days ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
BMCBI
2010
13 years 8 months ago
2010
Background: OFFGEL isoelectric focussing (IEF) has become a popular tool in proteomics to fractionate peptides or proteins. As a consequence there is a need for software solutions...
BMCBI
2005
13 years 8 months ago
2005
Background: The extraction of biological knowledge from genome-scale data sets requires its analysis in the context of additional biological information. The importance of integra...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...