1809 search results - page 148 / 362 » A Formal Specification of dMARS |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
14 years 3 months ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...