In order to obtain morphological information of unlabeled galaxies, we present an unsupervised machine-learning (UML) method for classification which can be summarized as two aspects: (1) the methodology convolutional autoencoder (CAE) is used reduce dimensions and extract features from imaging data; (2) bagging-based multiclustering model proposed classifications with high confidence at cost r...

Studies show that large software projects have a huge likelihood of failure. In fact, it’s more likely that a large software application fails to meet its requirements on time and on budget due to lack of quality in design or implementation or testing. The success of such software, however, can be improved by modeling. Model-Based test case generation approaches inspire developer to improve des...

In this article we describe an approach towards increasing the robustness of the UML refinement machinery. The aim of this work is not to formalize the UML notation itself, but to substantiate a number of intuitions about the nature of possible refinement relations in UML, and even to discover particular refinement structures that designers do not perceive as refinements in UML.

Groupware is explicitly designed to support the cooperation among group members. The implementation of cooperation-aware groupware is supported by several object-oriented toolkits and frameworks, but there is no uni®ed way to model applications built on top of these. We have proposed UML-G as an extensible UML pro®le for modeling groupware and are in the process of turning it into a community e...

Due to its rich set of modeling concepts and its broad application spectrum the Unified Modeling Language (UML) has become widely accepted for modeling many aspects of software systems. Since UML is not related to any particular design method, each software development project has to establish its own modeling guidelines. Hence, tool support is needed for guiding the developer throughout the mo...

The Business Process Execution Language for Web Services (BPEL4WS) provides an XML notation and semantics for specifying business process behaviour based on Web Services. A BPEL4WS process is defined in terms of its interactions with partners. A partner may provide services to the process, require services from the process, or participate in a two-way interaction with the process. The Unified M...

Many UML CASE tools allow software engineers to draw diagrams and generate code skeletons from them. But often advanced users want to do more with their UML models, e.g., apply speci c design patterns, generate code for embedded systems, simulate the functional and non-functional behavior of the system, run validation tools on the model, etc. which are very di cult to do with the scripting faci...

The Unified Modeling Language (UML) has become the de facto standard for systems development and has been promoted as a technology that will help solve some of the longstanding problems in the software industry. However, there is still little empirical evidence supporting the claim that UML is an effective approach to modeling software systems. Indeed, there is much anecdotal evidence suggestin...

Different types of consistency of UML models have been described in the literature. The consistency of UML models with the UML static semantics, usually referred as wellformedness, and the consistency between different versions of the same model are among the most cited. The UML models’ well-formedness is a precondition for any other kind of consistency, being described by means of the UML abst...