闯入 发表于 2025-4-1 01:59:15
Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Object paper proposes to perceive information systems as fully distributed, autonomous yet cooperating evolving concurrent components. The formal specification / validation framework for this advanced perception is an adequate integration of object concepts with modularity features into an appropriately单调性 发表于 2025-4-1 07:55:16
Compliance Gaps: A Requirements Elicitation Approach in the Context of System Evolution there is a system and documentation that should be referred to. Therefore, the issue is not only to identify new functions, but to uncover and understand differences with the current situation. There is few approaches that systematise the identification and documentation of such change requirements左右连贯 发表于 2025-4-1 11:48:51
UML-Based Metamodeling for Information System Engineering and Evolutionions, and they are instantiated into models. In the context of information system engineering and interoperability, we have developped two operations on metamodels: metamodel integration and measure of semantical distance between metamodels. In this paper, we explore application of these operations袭击 发表于 2025-4-1 17:30:44
http://reply.papertrans.cn/71/7002/700176/700176_64.png失眠症 发表于 2025-4-1 20:21:52
Event-Based Software Architecturesth communication and coordination between components being based on peer-to-peer communication (a client-component requests a service from a server-component). Because this binary and uni-directional form of communication implies substantial restrictions on software maintainability, this paper propo