Oesterreichische Computer Gesellschaft Banner
Home English Ausbildung IT-Professionals Gesellschaft & Kultur Events Publikationen Presse
 
OCG-Profil
Sitemap
Kontakt
------------------------
  Einleitung
    Neuerscheinungen
    Bestellen von Bänden
    Layoutrichtlinien
    Ältere Bände
 

Suche
OCG > Publikationen > books@ocg.at > Buchbesprechungen

Band 180

Automated Software Engineering

Proceedings of the CSSE 04, SAPS 04 and Witse 04


ca. ¤ 29,-/ ¤ 25,-
ca. 400 Seiten; Link zur Bestellung
proceedings ab 20.9.2004 erhältlich


CSSE '04 (Cooperative Support for Distributed Software Engineering Processes)

Website http://www.scienzemfn.unisa.it/csse2004

The new Information & Communication Technologies (ICT) are having a propulsive impact on software organizations that develop and maintain software using teams distributed on different sites. More and more companies are moving from traditional software factory models towards virtual organization models, where independent institutions, departments, and groups of specialized individuals converge in a temporary network with the aim of utilizing a competitive advantage or solving a specific problem. Workflow and computer supported cooperative work technologies are primary enablers for virtual organizations and project teams, as people and institutions in a network make substantially more use of computer mediated channels than physical presence to interact and cooperate to achieve their objectives. This workshop will gather practitioners and researchers from academia, industry, and government, to review the current state of the practice, to report on, and to present issues and solutions in the area of computer supported cooperative methodologies, technologies, and tools applied to distributed software engineering (DSE) processes.

SAPS '04 (Specification and Automated Processing of Security Requirements)

Website: http://www.lcc.uma.es/SAPS04

Security and reliability issues are rarely considered at the initial stages of software development. The fact that security engineering techniques are not integrated within software engineering processes has very negative consequences in the security of the software systems being deployed. Security engineering techniques, often based on formal methods, increase the level of confidence in the design and implementation of security-critical systems. However, these techniques are not tightly related with the software being deployed. On the other hand, software engineering tools and processes lack precise semantics and provide no support for security-related requirements and properties. Furthermore, the use of automated tools is essential for the analysis and deployment of secure systems. The objective of SAPS is to foster exchange of ideas among practitioners, researchers and industry involved in the deployment of secure systems. The main topic of SAPS is the inclusion of security issues into the software development process with a strong focus on security requirements specification and validation assisted by automated tools. Special emphasis will be devoted to promote discussion and interaction between researchers and practitioners. The exchange of concepts, prototypes, research ideas, and other results contributing to both academic and industrial communities, is of particular interest.

WITSE '04 (Intelligent Technologies for Software Engineering)

Website: http://www-dse.doc.ic.ac.uk/witse04

The Intelligent Technologies for Software Engineering (WITSE2004) Workshop is intended to provide a forum for the presentation and discussion of a wide range of topics related to the applicability of (new) intelligent technologies to requirements engineering problems. In particular, the aim of this workshop is to bring together researchers from academia and industry, and practitioners working in the areas of computational intelligence and requirements engineering to discuss existing issues, recent developments, applications, experience reports, and software tools of intelligent technologies in all aspects of requirements engineering.

Topics include, but are not restricted to:
- Intelligent methods of requirements analysis and evolution.
- Machine learning for change management and risk assessment.
- Intelligent approaches for inconsistency management of requirements specifications.
- Intelligent architectures for requirements evolution.
- Intelligent techniques for supporting the integration of requirements and architectures specifications
- Intelligent technologies for traceability management.
- Data Mining and Information Retrieval applied to requirements engineering.

 

 

 

-------------------------

  AT21-Logo