Sciweavers

14670 search results - page 74 / 2934
» The Systems Modeling Language for Products and Systems Devel...
Sort
View
UML
2005
Springer
14 years 1 months ago
Integrated Model-Based Software Development, Data Access, and Data Migration
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina S...
IPPS
2000
IEEE
14 years 16 days ago
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
Albert Mo Kim Cheng, Seiya Fujii
DAC
1998
ACM
14 years 9 months ago
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
James Shin Young, Josh MacDonald, Michael Shilman,...
AIMSA
2008
Springer
14 years 2 months ago
The Agent Modeling Language (AMOLA)
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
Nikolaos I. Spanoudakis, Pavlos Moraitis
METRICS
1999
IEEE
14 years 12 days ago
Function Point Measurement Tool for UML Design Specification
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
Takuya Uemura, Shinji Kusumoto, Katsuro Inoue