977 search results - page 77 / 196 » Formal methods integration in software engineering |
138
Voted
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
154
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
141
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
135
Voted
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
156
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...