168 search results - page 19 / 34 » Towards validated real-time software |
119
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
127
click to vote
CODES
1994
IEEE
15 years 8 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
196
click to vote
HICSS
2011
IEEE
14 years 7 months ago
2011
IEEE
Open source projects do have requirements; they are, however, mostly informal, text descriptions found in requests, forums, and other correspondence. Understanding of such require...
149
click to vote
PPPJ
2006
ACM
15 years 9 months ago
2006
ACM
This paper is about business process management (BPM) and business activity monitoring (BAM) using event processing. We will show why the management of business processes is impor...