8083 search results - page 82 / 1617 » A Formalization of Software Architecture |
EDOC
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...
GCC
2004
Springer
14 years 1 months ago
2004
Springer
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
ASWEC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
BMCBI
2007
13 years 7 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...