3045 search results - page 243 / 609 » Formal Approaches to Software Architecture |
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
122
click to vote
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
109
click to vote
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
80
Voted
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...