Sciweavers

665 search results - page 33 / 133
» Extending Software Development Methodologies to Support Trus...
Sort
View
CODES
2006
IEEE
15 years 4 months ago
Architectural support for safe software execution on embedded processors
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
ER
1997
Springer
148views Database» more  ER 1997»
15 years 6 months ago
Intelligent Support for Retrieval and Synthesis of Patterns for Object-Oriented Design
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
Sandeep Purao, Veda C. Storey
ATAL
2007
Springer
15 years 8 months ago
AUML protocols and code generation in the Prometheus design tool
Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodol...
Lin Padgham, John Thangarajah, Michael Winikoff
DEXAW
2005
IEEE
199views Database» more  DEXAW 2005»
15 years 7 months ago
Combining Multi-Agent-System Methodologies for Organic Computing Systems
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
Holger Kasinger, Bernhard Bauer
BCSHCI
2008
15 years 3 months ago
Creating creative processes: a workshop demonstrating a methodological approach for subjects between the sciences and the arts
There is a lack of `explicit education' of different modes of creativity and different methodologies for initiating creative processes. This is important for not only art pra...
Carola Boehm