this paper discusses the development of an advanced robotic system equipped with a computer vision system for use in greenhouses to identify and harvest ripe, unripe, and diseased tomatoes. the system operates in two ...
详细信息
this paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. the goal is for models to be intuitive and well-structur...
详细信息
ISBN:
(纸本)0818672463
this paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. the goal is for models to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object-oriented languages such as C++. At the heart of the modeling method is the language of statecharts for specifying object behavior, and a hierarchical OMT-like language for describing the structure of classes and their inter-relationships, that we call O-charts. Objects can interact by event generation, or by direct invocation of operations. In the interest of keeping the exposition manageable, we leave out some technically involved topics, such as multiple-thread concurrency and active objects, which will be described elsewhere.
the proceedings contain 18 papers. the special focus in this conference is on softwareengineering for Defence Applications. the topics include: A machine learning approach for continuous development;toward a model of...
ISBN:
(纸本)9783319705774
the proceedings contain 18 papers. the special focus in this conference is on softwareengineering for Defence Applications. the topics include: A machine learning approach for continuous development;toward a model of emotion and its contagion influences on agile development for defense applications;the internet of hackable things;avoiding sensitive data disclosure: Android system design and development data leaks detection thesis master degree computerengineering;towards non-invasive software measurement system: Architecture and implementation;joining jolie to docker: Orchestration of microservices on a containers-as-a-service layer;crisis management in softwareengineering: Behavioral aspects;using the “Agile” paradigm to support innovation in large organizations;microservices science and engineering;evolving in-service support models for secure weapon systems;initial steps towards assessing the usability of a verification tool;the agile coordination processes;a blockchain-based solution for enabling log-based resolution of disputes in multi-party transactions;AntibIoTic: Protecting IoT devices against DDoS attacks;an initial investigation of concurrency bugs in open source systems;contracting agile developments for the public sector: the Italian case.
We propose to model the behaviour of embedded systems by finite state machines whose transitions are modelled by predicates of non-monotonic logics. We argue that this enables modelling the behaviour in close parallel...
详细信息
ISBN:
(纸本)9783642233906
We propose to model the behaviour of embedded systems by finite state machines whose transitions are modelled by predicates of non-monotonic logics. We argue that this enables modelling the behaviour in close parallelism to the requirements. Such requirements engineering also results in direct and automatic translation to implementation, minimising software faults. We present our method and illustrated with a classical example. We also compare our approach with other state diagram methods, as well as Petri nets and Behavior Trees.
A Geographic Information System is an information system optimized to operate on geographically referenced data. A computer Aided Drafting software package duplicates the tasks involved with drafting on a computer sys...
详细信息
ISBN:
(纸本)0872629155
A Geographic Information System is an information system optimized to operate on geographically referenced data. A computer Aided Drafting software package duplicates the tasks involved with drafting on a computer system, often combining frequently performed routines to increase productivity. the integration of GIS and CAD brings together the underlying tools of both technologies resulting in a new environment that will empower the software developer of CAD systems to create the next generation of applications for the ultimate end user. Withthe abundance of CAD based applications developed for the engineering community, it is the engineer that will be first to reap the benefits of an integrated GIS and CAD system.
this study tests a model that proposes that design elements of the e-store create environmental atmospheric that induce certain emotional states in the consumer, which in turn affect his/her attitudes towards the stor...
详细信息
ISBN:
(纸本)9197507954
this study tests a model that proposes that design elements of the e-store create environmental atmospheric that induce certain emotional states in the consumer, which in turn affect his/her attitudes towards the store. the model is based on concepts from the human-computer interaction (HCI) literature and on the environmental psychology model of Mehrabian and Russell (1974). the atmospherics of the e-store is captured in our model by perceptions of two design dimensions: usability and aesthetics. the results support the model propositions by showing a significant effect of site atmospherics on the emotions experienced during the shopping episode and, consequently, on attitudes towards the store. the study contributes to the development of a richer and more adequate model of consumer behavior in online shopping, by merging HCI and marketing theories, and by taking into account the effects of design on emotions.
An important aspect of any system is the non-functional aspect, which is not concerned with what a system does, but rather with how well a system works. Since event processing applications are not monolithic, there ar...
详细信息
this paper reports the design and development of an intelligent mobile computer-supported collaborative learning (mCSCL) application in mathematics for Grade 5 elementary students named Ibigkas! Math. In the first exp...
详细信息
ISBN:
(纸本)9783031347344;9783031347351
this paper reports the design and development of an intelligent mobile computer-supported collaborative learning (mCSCL) application in mathematics for Grade 5 elementary students named Ibigkas! Math. In the first experiment, we deployed the non-adaptive version of Ibigkas! Math. this software is a collaborative mobile-based game application where a team of students answers basic arithmetic problems. the player has to read aloud the arithmetic problems and answer multiple-choice items. the correct answer appears on one of the team members' devices. A team consists of three students with varying mathematical competencies and personality types. thirty-seven Grade 5 students (male = 25, female = 12, average age = 10.5 years old) participated in the initial experiment. the initial results of the study revealed that the students always chose problems involving addition withthe same level of difficulty throughout the game sessions. It was also observed that students exhibited "button-smashing" - a gaming behavior where students guess a game answer. these game behaviors lead to higher game scores. However, the game scores could not reflect the mathematical competencies of the students. Acollaborative-intelligent math CSCL was developed to make the software adaptive to these behaviors. Aggregated model of constraint-based collaborative filtering algorithm (CBCF), Rasch model (RM), and computational fluency (CF) (e.g., trials-to-criterion approach) were integrated into the software. the revised version will then be deployed in the same setting to test its impact on students' learning and gaming behavior.
the proceedings contain 36 papers. the topic discussed include: verification of C programs using automated reasoning;formalising design patters in predicate logic;retrenchment and the atomicity pattern;verifying the M...
ISBN:
(纸本)0769528848
the proceedings contain 36 papers. the topic discussed include: verification of C programs using automated reasoning;formalising design patters in predicate logic;retrenchment and the atomicity pattern;verifying the Mondex case study;model-driven architecture for cancer research;modeling and verification of TTCAN startup protocol using synchronous calendar;proving termination by divergence;supporting proof in a reactive development environment;sound reasoning about unchecked exceptions;reasoning about linear systems;the role of abstract interpretation in formal methods;a dynamic logic for deductive verification of concurrent programs;an integrated specification framework for embedded systems;a thread-tag based semantics for sequence diagrams;testing conformance on stochastic stream X-machines;specification-based testing for refinement;hardness for explicit state software model checking benchmarks;and model checking RAISE applicative specifications.
the development of a system for reverse softwareengineering of real-time programs is described. It is addressed specifically to the US Navy's modernization of tactical and strategic systems. the approach is based...
详细信息
the development of a system for reverse softwareengineering of real-time programs is described. It is addressed specifically to the US Navy's modernization of tactical and strategic systems. the approach is based on completely automatic translation from CMS-2 into a user-oriented nonprocedural specification language called MODEL. the user can better understand, maintain, and modernize the specification of programs in the MODEL language. there is an existing system for analysis, translation, and optimization in the conversion of MODEL to Ada. this completes the translation from the real-time CMS-2 programs to Ada programs. the overall system will use a powerful workstation with graphics.
暂无评论