1988 search results - page 280 / 398 » Engineering formal metatheory |
148
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
158
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
169
click to vote
WCRE
2007
IEEE
16 years 21 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
154
click to vote
CAISE
2007
Springer
16 years 18 days ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
167
click to vote
CBSE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...