UB Paderborn / Katalog / Suche / in CDI

Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets

Enterprise information systems, 2008-05, Vol.2 (2), p.121-156

Aoumeur, Nasreddine

2008

Link zum Volltext

Verfügbarkeit prüfen

Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach

Lecture notes in computer science, 2000, p.91-111

Aoumeur, Nasreddine

2000

Link zum Volltext

Verfügbarkeit prüfen

A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS

Information Systems and e-Business Technologies, p.393-404

Link zum Volltext

Verfügbarkeit prüfen

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

Data & knowledge engineering, 2004-08, Vol.50 (2), p.117-173

2004

Link zum Volltext

Verfügbarkeit prüfen

Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components

Lecture notes in computer science, 2003, p.60-70

2003

Link zum Volltext

Verfügbarkeit prüfen

A component-based Petri net model for specifying and validating cooperative information systems

Data & knowledge engineering, 2002-08, Vol.42 (2), p.143-187

2002

Link zum Volltext

Verfügbarkeit prüfen

Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions

2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 2009, p.18-25

2009

Link zum Volltext
IEEE_Xplore

Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic

Lecture notes in computer science, 2002, p.296-310

2002

Link zum Volltext

Verfügbarkeit prüfen

Consistency Management in Runtime Evolving Concurrent Information Systems: A Co-nets-Based Approach

Database Schema Evolution and Meta-Modeling, 2001, p.33-60

2001

Link zum Volltext

Verfügbarkeit prüfen

Prediction and Characterization of Heating Load Energy Performance of Residential Building Machine Learning Algorithms

Artificial Intelligence and Heuristics for Smart Energy Efficiency in Smart Cities, p.46-56

Link zum Volltext

Verfügbarkeit prüfen

Towards an object Petri nets model for specifying and validating distributed information systems

Lecture notes in computer science, 1999, p.381-395

1999

Link zum Volltext

Verfügbarkeit prüfen

Stepwise engineering and deployment of dynamically adaptive service-oriented business processes

2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2009, p.1-9

2009

Link zum Volltext
IEEE_Xplore

Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes

2009 Fourth International Conference on Internet and Web Applications and Services, 2009, p.474-480

2009

Link zum Volltext
IEEE_Xplore

A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications

2009 4th International Symposium on Wireless Pervasive Computing, 2009, p.1-8

2009

Link zum Volltext
IEEE_Xplore

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009, p.138-146

2009

Link zum Volltext
IEEE_Xplore

Specifying and Validating Train Control Systems Using an Appropriate Component-Based Petri Nets Model

IFAC Proceedings Volumes, 2000-06, Vol.33 (13), p.289-294

2000

Link zum Volltext

Verfügbarkeit prüfen

Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic

Advanced Information Systems Engineering, p.296-310

Link zum Volltext

Verfügbarkeit prüfen

Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach

Modellierung ’99, p.107-122

Link zum Volltext

Verfügbarkeit prüfen

On modelling adaptive service-oriented business processes

2009 IEEE/ACS International Conference on Computer Systems and Applications, 2009, p.47-52

2009

Link zum Volltext
IEEE_Xplore

An adaptive ECA-centric architecture for agile service-based business processes with compliant aspectual .NET environment

Proceedings of the 10th International Conference on information integration and web-based applications & services, 2008, p.240-247

2008

Link zum Volltext

Verfügbarkeit prüfen

On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework

2008 IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008, p.195-202

2008

Link zum Volltext
IEEE_Xplore

Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification

Fifth International Conference on Information Technology: New Generations (itng 2008), 2008, p.1305-1307

2008

Link zum Volltext
IEEE_Xplore

Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems

11th European Conference on Software Maintenance and Reengineering (CSMR'07), 2007, p.123-136

2007

Link zum Volltext
IEEE_Xplore

Towards an architectural approach to location-aware business processes

2004

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets

Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach

A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components

A component-based Petri net model for specifying and validating cooperative information systems

Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions

Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic

Consistency Management in Runtime Evolving Concurrent Information Systems: A Co-nets-Based Approach

Prediction and Characterization of Heating Load Energy Performance of Residential Building Machine Learning Algorithms

Towards an object Petri nets model for specifying and validating distributed information systems

Stepwise engineering and deployment of dynamically adaptive service-oriented business processes

Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes

A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

Specifying and Validating Train Control Systems Using an Appropriate Component-Based Petri Nets Model

Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic

Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach

On modelling adaptive service-oriented business processes

An adaptive ECA-centric architecture for agile service-based business processes with compliant aspectual .NET environment

On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework

Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification

Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems

Towards an architectural approach to location-aware business processes

Suchergebnisse filtern