话
发表于 2025-3-23 20:07:24
http://reply.papertrans.cn/48/4706/470562/470562_13.png
合乎习俗
发表于 2025-3-24 01:45:31
Workspaces: A Multi-level Architectural Style for Synchronous Groupwareion levels of the system can be evolved dynamically at run-time in response to user needs and changes in the distributed system environment. System evolution at both levels is specified via an evolution calculus.
混合,搀杂
发表于 2025-3-24 02:35:03
Specification-Based Testing of User Interfacestion function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.
消灭
发表于 2025-3-24 08:17:51
Model-Based Design of Adaptive User Interfaces through Connectorsuntime. In this paper a first approach is proposed to support these plasticity features from a formal point of view within a model-based user interface design methodology. Connector paradigm is used to coordinate the communication between Concrete Interaction Objects and Abstract Interaction Objects in a flexible way enough to support adaptivity.
江湖郎中
发表于 2025-3-24 13:03:38
0302-9743 e papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages..978-3-540-20159-5978-3-540-39929-2Series ISSN 0302-9743 Series E-ISSN 1611-3349
Flagging
发表于 2025-3-24 14:49:40
http://reply.papertrans.cn/48/4706/470562/470562_18.png
dagger
发表于 2025-3-24 20:47:53
http://reply.papertrans.cn/48/4706/470562/470562_19.png
旧石器时代
发表于 2025-3-24 23:25:57
Functionally Modeled User Interfaces contrast the executable specification style of Fruit with a more traditional “rapid prototype” implementation using an imperative, object-oriented toolkit (Java/Swing) to show the benefits of our approach.
六个才偏离
发表于 2025-3-25 04:29:42
http://reply.papertrans.cn/48/4706/470562/470562_21.png
艰苦地移动
发表于 2025-3-25 08:01:16
Higher-Order Task Modelsifies procedural and state knowledge. As a consequence, higher-order actions are possible. The suggested approach is an answer to the need for more dynamic task models. It supports specifications of context sensitive and cooperative tasks.