Web portal functionality and state government e-service

JP Gant, DB Gant - Proceedings of the 35th Annual Hawaii …, 2002 - ieeexplore.ieee.org
This paper reports the results of a study investigating the role of Web portals in state
government electronic service delivery. We describe the functionality of the fifty US state …

π-method: a model-driven formal method for architecture-centric software engineering

F Oquendo - ACM SIGSOFT Software Engineering Notes, 2006 - dl.acm.org
Software systems have become increasingly complex and are often used in highly dynamic,
distributed and mobile environments. Formal development of such software systems in order …

A model-driven approach to performability analysis of dynamically reconfigurable component-based systems

V Grassi, R Mirandola, A Sabetta - … of the 6th international workshop on …, 2007 - dl.acm.org
Dynamic reconfiguration techniques appear promising to build component-based (CB)
systems for application domains that have strong adaptability requirements, like the mobile …

[PDF][PDF] Architectural compliance in component-based systems

S Herold - 2011 - researchgate.net
The intended software architecture of a software system manifests the earliest and most
fundamental design decisions. To ensure that the final software product is consistent with …

Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data‐oriented software systems

C Li, L Huang, L Chen - Software: Practice and Experience, 2015 - Wiley Online Library
Various technologies have been proposed to support the processing of big data. However,
such technologies require software architectures not only to adapt to the changes and …

[图书][B] Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen

M Duvigneau - 2010 - books.google.com
Eine in der Praxis oft eingesetzte Lösung zur Bewältigung der vielfältigen Funktionalität und
Komplexität moderner Softwaresysteme besteht darin, ein Plugin-System in die Software zu …

π-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures

R Mateescu, F Oquendo - ACM SIGSOFT Software Engineering Notes, 2006 - dl.acm.org
A key aspect of the design of any software system is its architecture. An architecture
description, from a runtime perspective, provides a formal representation of the architecture …

On self-adaptation in systems-of-systems

MP Romay, CE Cuesta, L Fernández-Sanz - Proceedings of the First …, 2013 - dl.acm.org
Adaptivity and systems-of-systems (SoS) have always had a close relationship, as it is one
of their defining features. Moreover, there is a clear similarity between the requirements of a …

[PDF][PDF] 基于构件运算的可重构系统代数模型

袁博, 汪斌强 - 软件学报, 2012 - jos.org.cn
可重构系统是指一个系统由构件组成, 随着构件被替换以及组合拓扑关系的变化,
系统表现出不同的功能. 针对可重构系统在形式化和重构建模方面的不足 …

Increasing software quality through design reuse

F Barros - 2010 Seventh International Conference on the …, 2010 - ieeexplore.ieee.org
The development of new applications based on existing design and code increases
software quality, since tested assets are more likely to exhibit fewer errors than software …