Adaptive specifications of technical information systems

DOI10.1007/3-540-48196-6_3MaRDI QIDQ2772410zbMATH OpenFDO

Authors Sören Balko

Publication date 19 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2065/20650061

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Development of global specification for dynamically adaptive software
• scientific article; zbMATH DE number 1182732
• Modifying LOTOS specifications by means of automatable formula-based integrations
• Property transformation under specification change
• A two-level temporal logic for evolving specifications.

Cited in

(4)

• Modifying LOTOS specifications by means of automatable formula-based integrations
• scientific article; zbMATH DE number 2183547 (Why is no real title available?)
• Using adaptive programming in legal advisory systems
• Development of global specification for dynamically adaptive software

This page was built for publication: Adaptive specifications of technical information systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2772410)