1601 search results - page 46 / 321 » The affordable application of formal methods to software eng... |
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...
ICSE
2000
IEEE-ACM
14 years 18 days ago
2000
IEEE-ACM
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
GRC
2008
IEEE
13 years 10 months ago
2008
IEEE
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
SEFM
2003
IEEE
14 years 2 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...