Sciweavers

3216 search results - page 94 / 644
» Software engineering issues for mobile application developme...
Sort
View
SIS
2004
13 years 10 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
KBSE
2005
IEEE
14 years 2 months ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...
CORR
2010
Springer
154views Education» more  CORR 2010»
13 years 9 months ago
A Framework for Agile Development of Component-Based Applications
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
Guillaume Waignier, Estéban Duguepér...
IWSAS
2000
Springer
14 years 14 days ago
Port-Based Adaptable Agent Architecture
To facilitate the design of large-scale, self-adaptive systems, we have developed the Port-Based Adaptable Agent Architecture. This distributed, multiagent architecture allows syst...
Kevin R. Dixon, Theodore Q. Pham, Pradeep K. Khosl...
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
14 years 3 months ago
Hiding real-time: A new approach for the software development of industrial robots
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, M...