the proceedings contain 30 papers. the topics discussed include: incremental software construction with refinement diagrams;monad-based logics for computational effects;state space representation for verification of o...
详细信息
ISBN:
(纸本)3540356339
the proceedings contain 30 papers. the topics discussed include: incremental software construction with refinement diagrams;monad-based logics for computational effects;state space representation for verification of open systems;data movement optimization in point-free form;measuring the speed of information leakage in mobile processes;model transformations incorporating multiple views;state space reduction of rewrite theories using invisible transitions;the essence of multitasking;decomposing interactions;verification of communication protocols using abstract interpretation of FIFO queues;realizability criteria for compositional MSC;reasoning about data-parallel pointer programs in an modal extension of separation logic;a compositional semantics of plan revision in intelligent agents;and a computational group theoretic symmetry reduction package for the SPIN model Checker.
algebraicmethodology and softwaretechnology : 10thinternationalconference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004 : Proceedings by internationalconference on algebraicmethodology; software Technolo...
详细信息
algebraicmethodology and softwaretechnology : 10thinternationalconference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004 : Proceedings by internationalconference on algebraicmethodology; softwaretechnology (10th : 2004 : Stirling, Scotland); Rattray, C. (Charles), 1938-; Maharaj, Savitri; Shankland, Carron; published by Berlin ; New York : Springer
algebraicmethodology and softwaretechnology : 7thinternationalconference, Amast'98, Amazonia, Brazil, January 4-8, 1999 : Proceedings by Haeberer, Armando Martín, 1947-; internationalconference on algebraic ...
详细信息
algebraicmethodology and softwaretechnology : 7thinternationalconference, Amast'98, Amazonia, Brazil, January 4-8, 1999 : Proceedings by Haeberer, Armando Martín, 1947-; internationalconference on algebraicmethodology; softwaretechnology (7th : 1999 : Amazonia, Brazil); published by Berlin ; New York : Springer
the proceedings contain 37 papers. the special focus in this conference is on algebraicmethodology and softwaretechnology. the topics include: A software engineering program of lasting value;weaving formal methods i...
ISBN:
(纸本)9783540454991
the proceedings contain 37 papers. the special focus in this conference is on algebraicmethodology and softwaretechnology. the topics include: A software engineering program of lasting value;weaving formal methods into the undergratuate computer science curriculum;making mathematical methods more practical for the software developers;distance functions for defaults in reactive systems;generalizing the modal and temporal logic of linear time;process algebra versus axiomatic specification of a real-time protocol;practical application of functional and relational methods for the specification and verification of safety critical software;meta languages in algebraic compilers;analysis of downward closed properties of logic programs;ASM formalware in the software engineering cycle;a causal semantics for timed default concurrent constraint programming;a combination of statecharts and of the algebraic specification language CASL;message authentication through non interference;plugging data constructs into paradigm-specific languages;an ASM semantics for UML activity diagrams;time and probability in process algebra;towards a toolkit for actor system specification;using reflection to map action semantics to rewriting logic;a reuse-oriented framework for hierarchical specifications;a kernel language of mixin modules;behavioural subtyping relations for object-oriented formalisms;applying category theory to derive engineering software from encoded knowledge;a new logic for electronic commerce protocols and testing from structured algebraic specifications.
the proceedings contain 34 papers. the special focus in this conference is on algebraicmethodology and softwaretechnology. the topics include: Tool-assisted specification and verification of the javacard platform;al...
ISBN:
(纸本)9783540441441
the proceedings contain 34 papers. the special focus in this conference is on algebraicmethodology and softwaretechnology. the topics include: Tool-assisted specification and verification of the javacard platform;algebraic support for service-oriented architecture;fully automatic adaptation of software components based on semantic specifications;towards integrated specification and development of functional programs;removing redundant arguments of functions;a class of decidable parametric hybrid systems;on solving temporal logic queries;modelling concurrent behaviours by commutativity and weak causality relations;refusal simulation and interactive games;a theory of may testing for asynchronous calculi with locality and no name matching;equational axioms for probabilistic bisimilarity;transforming processes to check and ensure information flow security;specifying and verifying a decimal representation in java for smart cards;extending JML specifications with temporal logic;a foundation of escape analysis;guarded transitions in evolving specifications;proof transformations for evolutionary formal software development;sharing objects by read-only references and backward reachability analysis with integers.
the preservation and transmission of knowledge in the digital era is often entrusted to the world of Information and Communications technology. the advantage of this transition is the increase in the amount of informa...
详细信息
the preservation and transmission of knowledge in the digital era is often entrusted to the world of Information and Communications technology. the advantage of this transition is the increase in the amount of information available via the web, while the disadvantages are mostly represented by the difficulty in accessing to this information or the accuracy and quality of them. In this context, the task of the academic expertise is to gain an intrinsic knowledge of the topic through experience in the field for clarify the best practices in the digitisation process. In the following article we analyse the role of digital technologies in the valorisation of architectural heritage through an analysis of the indications at European level and initiatives in two distinct cultural contexts, Spain, and Italy. After a comparative analysis of the various superordinate indications, we will investigate the strategies, methodologies and applications used in the two countries to digitise and promote their rich historical and cultural heritage also leveraging the experience of professor Palmero-Iglesias, who has been running a digitization project with European funds since 2019, called PROMEthEUS, which connects the experiences and skills of Italian and Spanish figures and others, to point toward a better understanding of best practices in the digitization process of cultural heritage in order to obtain a holistic digital future that can preserve the authentic values established in the place of origin withthe objective of contribute to create a methodology in the field of digitisation, facilitating knowledge sharing and the potential development of international synergies.
the proceedings contain 15 papers. the topics discussed include: structural analysis for stochastic process algebra models;verification of common interprocedural compiler optimizations using visibly pushdown Kleene al...
ISBN:
(纸本)3642177956
the proceedings contain 15 papers. the topics discussed include: structural analysis for stochastic process algebra models;verification of common interprocedural compiler optimizations using visibly pushdown Kleene algebra;on the expressiveness of the π-calculus and the mobile ambients;integrating Maude into hets;model refinement using bisimulation quotients;coalgebraic semantics for parallel derivation strategies in logic programming;learning in a changing world, an algebraic modal logical approach;program calculation in coq;cooperation of algebraic constraint domains in higher-order functional and logic programming;a complete declarative debugger for Maude;and an assume guarantee approach for checking quantified array assertions.
the proceedings contain 30 papers. the topics discussed include: marring words and trees;simulation using orchestration;liberate computer user from programming;an algebra for features and feature composition;Petri net...
详细信息
ISBN:
(纸本)3540799796
the proceedings contain 30 papers. the topics discussed include: marring words and trees;simulation using orchestration;liberate computer user from programming;an algebra for features and feature composition;Petri nets are dioids;towards an efficient implementation of tree automata completion;calculating invariants as coreflexive bisimulations;types and deadlock freedom in a calculus of services, sessions and pipelines;a declarative debugger for Maude;long-run cost analysis by approximation of linear operators over dioids;explaining verification conditions;towards formal verification of TOOLBUS scripts;a formal analysis of complex type flaw attacks on security protocols;abstract interpretation plugins for type systems;separation logic contracts for a Java-like language with fork/join;an algebraic semantics for contract-based software components;and implementing a categorical information system.
the proceedings contain 41 papers. the special focus in this conference is on algebraicmethodology and softwaretechnology. the topics include: algebraic approaches to problem generalisation;a science of software des...
ISBN:
(纸本)3540223819
the proceedings contain 41 papers. the special focus in this conference is on algebraicmethodology and softwaretechnology. the topics include: algebraic approaches to problem generalisation;a science of software design;glass box and black box views of state-based system specifications;abstraction for safety, induction for liveness;counting votes with formal methods;producing run-time checks from integrity constraints;behavioural types and component adaptation;towards correspondence carrying specifications;formalizing and proving semantic relations between specifications by reflection;model-checking systems with unbounded variables without abstraction;a generic software safety document generator;linear temporal logic and Z refinement;formal JVM code analysis in JavaFAN;state space reduction for process algebra specifications;a hybrid logic of knowledge supporting topological reasoning;a language for configuring multi-level specifications;flexible proof reuse for software verification;deductive verification of distributed groupware systems;formal verification of a commercial smart card applet with multiple tools;abstracting call-stacks for interprocedural verification of imperative programs;refining mobile UML state machines;verifying invariants of component-based systems through refinement;modelling concurrent interactions;proof support for raise by a reuse approach based on institutions and separate compositional analysis of class-based object-oriented languages.
暂无评论