A Formal Requirements Engineering Framework for CIM Infrastructures Reengineering

doi 10.1007/978-0-387-35063-9_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Support for Concurrent Engineering in CIM-FACE

1995English

A Trust Framework for Security Collaboration Among Infrastructures

2014English

Process-Oriented Requirements Engineering: User-Centric LORS Framework

Journal of Software Engineering and Applications
2017English

Elastic Monitoring Framework for Cloud Infrastructures

IET Communications
Electronic EngineeringComputer Science ApplicationsElectrical
2012English

A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages
2017English

A Formal Model of Requirements

Open Transportation Journal
ModelingTransportationSimulation
2011English

Towards a Formal Framework for Computational Trust

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

A Formal Framework for Specifying Concurrent Systems

International Journal of Computer Applications
2013English

Requirements Engineering: A Survey

Communications on Applied Electronics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy