Design and Development of an E-shop with Clothes

Cíl bakalářské práce sestával z počátečního sběru informací nezbytné pro definování a následnou analýzu požadavků a konkurenčního prostředí. Následně byl na základě analýzy proveden návrh internetového obchodu - výběr vhodné metodiky pro návrh a vývoj, specifikace a modelování případu užití za použití UML diagramů, návrh databázové struktury a uživatelského rozhraní. Na závěr byla provedena implementace daného návrhu řešení. Dosažení stanovených cílů bylo provedeno za pomocí souboru nástrojů jako např. software Atom pro vývoj kódu. Kapitola Analýza současného stavu obsahuje detailní popis postupu splnění cílů v rámci analýzy požadavků a konkurenčního prostředí. Kapitola čtvrtá Návrh a implementace e-shopu je věnována stěžejní části této práce a nachází se zde definice zvolené metody pro návrh a vývoj internetového obchodu. Specifikace a ukázky UML diagramů, návrh databázové struktury a uživatelské rozhraní. V druhé části této kapitoly.The aim of the bachelor thesis consisted of the initial collection of information necessary for the definition and subsequent analysis of requirements and the competitive environment. Subsequently, on the basis of the analysis, an internet shop design was made - selection of a suitable methodology for the design and development, specification and modeling of use cases using UML diagrams, database structure design and user interface. Finally, the implementation of the given solution was implemented. Achieving the set goals has been done with a set of tools such as Atom code development software. The Current Status Analysis chapter contains a detailed description of the process of meeting the objectives within the requirements analysis and the competitive environment. Chapter Four The design and implementation of the e-shop is devoted to the main part of this work and there is a definition of the chosen method for the design and development of the e-shop. Specifications and examples of UML diagrams, database structure design and user interface. In the second part of this chapter.155 - Katedra aplikované informatikydobř

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error prone verification activity. To automate a safe passage from abstract tests, related to the so called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience

Adaptive development and maintenance of user-centric software systems

A software system cannot be developed without considering the various facets of its environment. Stakeholders – including the users that play a central role – have their needs, expectations, and perceptions of a system. Organisational and technical aspects of the environment are constantly changing. The ability to adapt a software system and its requirements to its environment throughout its full lifecycle is of paramount importance in a constantly changing environment. The continuous involvement of users is as important as the constant evaluation of the system and the observation of evolving environments. We present a methodology for adaptive software systems development and maintenance. We draw upon a diverse range of accepted methods including participatory design, software architecture, and evolutionary design. Our focus is on user-centred software systems

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. We focus on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of abstract state machine

Composing Aspects at Shared Join Points

Aspect-oriented languages provide means to superimpose aspectual behavior on a given set of join points. It is possible that not just a single, but several units of aspectual behavior need to be superimposed on the same join point. Aspects that specify the superimposition of these units are said to "share" the same join point. Such shared join points may give rise to issues such as\ud determining the exact execution order and the dependencies among the aspects. In this paper, we present a detailed analysis of the problem, and identify a set of requirements upon mechanisms for composing aspects at shared join points. To address the identified issues, we propose a general and declarative model for defining constraints upon the possible compositions of aspects at a shared join point. Finally, by using an extended notion of join points, we show how concrete aspectoriented programming languages, particularly AspectJ and Compose*, can adopt the proposed model

Design and implementation of an integrated surface texture information system for design, manufacture and measurement

The optimised design and reliable measurement of surface texture are essential to guarantee the functional performance of a geometric product. Current support tools are however often limited in functionality, integrity and efficiency. In this paper, an integrated surface texture information system for design, manufacture and measurement, called “CatSurf”, has been designed and developed, which aims to facilitate rapid and flexible manufacturing requirements. A category theory based knowledge acquisition and knowledge representation mechanism has been devised to retrieve and organize knowledge from various Geometrical Product Specifications (GPS) documents in surface texture. Two modules (for profile and areal surface texture) each with five components are developed in the CatSurf. It also focuses on integrating the surface texture information into a Computer-aided Technology (CAx) framework. Two test cases demonstrate design process of specifications for the profile and areal surface texture in AutoCAD and SolidWorks environments respectively