168 search results - page 19 / 34 » Towards validated real-time software |
WWW
2006
ACM
14 years 10 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...
CODES
1994
IEEE
14 years 1 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
14 years 3 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...
HICSS
2011
IEEE
13 years 1 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...
PPPJ
2006
ACM
14 years 3 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...