Sciweavers

2186 search results - page 207 / 438
» Developing Educational Software Components
Sort
View
JCDL
2004
ACM
148views Education» more  JCDL 2004»
15 years 12 months ago
Combined searching of web and oai digital library resources
In this paper, we describe an experiment in combined searching of web pages and digital library resources, exposed via an Open Archives metadata provider and web gateway service. ...
Aaron Krowne, Martin Halbert
CSEE
2000
Springer
15 years 10 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
ICTAI
2003
IEEE
15 years 11 months ago
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...
184
Voted
AO
2006
128views more  AO 2006»
15 years 6 months ago
Towards ontologies for formalizing modularization and communication in large software systems
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
Daniel Oberle, Steffen Lamparter, Stephan Grimm, D...
COMPSAC
2009
IEEE
16 years 1 months ago
A Contextual Guidance Approach to Software Security
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
Philipp Schügerl, David Walsh, Juergen Rillin...