795 search results - page 92 / 159 » A Formal Approach to Heterogeneous Software Modeling |
105
Voted
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
101
Voted
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
135
click to vote
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Community coordinated multimedia (CCM) envisions the paradigm of consuming multiple media via diversity display devices, converged networks, and heterogeneous platforms within a v...