848 search results - page 51 / 170 » A Formal Monitoring-Based Framework for Software Development... |
UML
1999
Springer
14 years 1 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
ICSM
1994
IEEE
14 years 28 days ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Poor literacy remains a decisive barrier to the economic empowerment of many people in the developing world. Of particular importance is literacy in a widely spoken "world la...
ICHIT
2009
Springer
14 years 3 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
QOSA
2010
Springer
14 years 7 days ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...