2513 search results - page 32 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
IHI
2012
12 years 5 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
AGILEDC
2003
IEEE
14 years 3 months ago
2003
IEEE
How can XP or other agile methods be used in large corporate IT shops? One large company found out, making XP the official corporate software development methodology for all proje...
ECMDAFA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
SERP
2007
13 years 11 months ago
2007
– The use of design patterns such as the GRASP (General Responsibility Assignment Software Principles) or GoF (Gang-of-Four) patterns in software engineering has been well-docume...
WOTUG
2008
13 years 11 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...