108,847 Hits in 4.8 sec

Tools and Behavioral Abstraction: A Direction for Software Engineering [chapter]

K. Rustan M. Leino
2010 The Future of Software Engineering  
A stronger arsenal of analysis tools can enable languages and development environments to give good support for behavioral abstraction.  ...  Moreover, the abstraction level is the same throughout the program text, leaving no room for behavioral abstraction where the design of a program is divided up into stages that gradually introduce more  ...  A Development Environment for Behavioral Abstraction First and foremost, a development environment is a tool set that allows engineers to express and understand designs.  ... 
doi:10.1007/978-3-642-15187-3_7 dblp:conf/birthday/Leino10 fatcat:ur7ljudokvd2fj7atxw4kz36fm

The attributed-behavior abstraction and synthesis tools

Lawrence F. Arnstein, Don Thomas
1994 Proceedings of the 31st annual conference on Design automation conference - DAC '94  
When coupled with a new type of synthesis tool, the attributed-behavior abstraction can increase the potential for high-level design space exploration by making synthesis results accessible to the engineer  ...  We introduce a new design abstraction that can uniformly represent both the input and output of high level synthesis tools.  ...  Acknowledgment This work was supported by and NSF Graduate Research Fellowship and by NSF Grant # MIP-9112930.  ... 
doi:10.1145/196244.196552 dblp:conf/dac/ArnsteinT94 fatcat:27r3m6utxncknpeshrqrje7gnq

Network Function Virtualization: Challenges and Directions for Reliability Assurance

D. Cotroneo, L. De Simone, A.K. Iannillo, A. Lanzaro, R. Natella, Jiang Fan, Wang Ping
2014 2014 IEEE International Symposium on Software Reliability Engineering Workshops  
and systematic guidelines for this purpose.  ...  In this paper, we discuss the challenges for reliability in NFVIs, and present an industrial research project on their reliability assurance, which aims at developing novel fault injection technologies  ...  fault injection tools and techniques for cloud systems; Section V closes the paper with future directions of the project.  ... 
doi:10.1109/issrew.2014.48 dblp:conf/issre/CotroneoSILNFP14 fatcat:dlpy6x3hjjbllcw3aha4hzr4cy

Monitoring cache behavior on parallel SMP architectures and related programming tools

Thomas Brandes, Helmut Schwamborn, Michael Gerndt, Jürgen Jeitner, Edmond Kereku, Martin Schulz, Holger Brunst, Wolfgang Nagel, Reinhard Neumann, Ralph Müller-Pfefferkorn, Bernd Trenkler, Wolfgang Karl (+2 others)
2005 Future generations computer systems  
The tool set comprises the semi-automatic instrumentation of user programs, the monitoring of the cache behavior, the visualization of the measured data, and optimization techniques for improving the user  ...  Within this project new methods and tools are developed to improve the analysis and the optimization of programs for cache architectures, especially for SMP clusters.  ...  This unit is responsible for communication with the software layer, that provides the interface for further applications and monitoring tools.  ... 
doi:10.1016/j.future.2004.09.005 fatcat:un7eimwf2nh6lkxzgvxuiqi2te

Behavior-based robotics as a tool for synthesis of artificial behavior and analysis of natural behavior

Maja J Matarić
1998 Trends in Cognitive Sciences  
as a tool for synthesis of artificial behavior and analysis of natural behavior Maja J.  ...  Each behavior is a processing element or a procedure, also called a control law in the engineering field of 'control theory', that can be implemented either in software or hardware; each can take inputs  ...  The author is grateful to Paolo Gaudiano for his extensive insightful comments on an earlier draft of this paper.  ... 
doi:10.1016/s1364-6613(98)01141-3 pmid:21227083 fatcat:sd3gf4aj2zbvrlzte4i7mcwg5e

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems [article]

Jan Olaf Blech, Heinz Schmidt
2014 arXiv   pre-print
In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems.  ...  with other modeling and verification tools.  ...  The software engineering community has been studying the design and architecture of componentbased systems for decades.  ... 
arXiv:1404.3537v1 fatcat:76aumo2bcnff5cvwcy7pbceig4

Combining Text and Graphics for Interactive Exploration of Behavior Datasets

Martin Molina, Enrique Parodi, Amanda Stent
2010 2010 22nd IEEE International Conference on Tools with Artificial Intelligence  
Software tools that generate presentations combining text and graphics can help users understand this data.  ...  for users to interpret and analyze.  ...  ACKNOWLEDGMENT This work was partially supported by the Ministry of Science and Innovation of Spain within the VIOMATICA project (TIN2008-05837/TIN).  ... 
doi:10.1109/ictai.2010.96 dblp:conf/ictai/MolinaPS10 fatcat:osb4uyhidrg67kjflc34vojn2u

Optimizing the Software Metrics for UML Structural and Behavioral Diagrams Using Metrics Tool

D. Singh, H. J. S. Sidhu
2018 Asian Journal of Computer Science and Technology  
In this paper, we have proposed an efficient way to calculate the software metrics of structural and behavioural diagrams of unified modelling language (UML) with the help SD Metrics as a tool.  ...  The SD metrics tool collect the information after parsing the XMI format generated by UML compiler of structural and behavioural UML diagrams.  ...  technique other than the above authors for structural as well as behavioral diagrams to reduce the testability as well as maintainability of the software.  ... 
doi:10.51983/ajcst-2018.7.2.1877 fatcat:qox6g4a3qrgdheyp43o4yy5luy

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool [chapter]

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
2015 Lecture Notes in Computer Science  
We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative  ...  This paper discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams.  ...  Abstraction: The motivation for modeling and the relationship to abstraction has been formulated to the point in [22] (and other works by the same author): Why do engineers build models?  ... 
doi:10.1007/978-3-319-21912-7_2 fatcat:pld67bhkqrezjj6y7xhll56ecq

Combining Finite State Machine and Decision-Making Tools for Adaptable Robot Behavior [chapter]

Michalis Foukarakis, Asterios Leonidis, Margherita Antona, Constantine Stephanidis
2014 Lecture Notes in Computer Science  
This paper proposes combination of a well-known finite state machine and a custom decisionmaking tool for implementing adaptive robot behaviors.  ...  To facilitate the development of a modular, rather than monolithic, behavior system, proper software tools need to be introduced.  ...  The behavior adaptation process has inherent software engineering implications on the software organization model of the system components.  ... 
doi:10.1007/978-3-319-07446-7_60 fatcat:cgyfkiyronfv3glfjyqny3nklq

The development and use of machine tools in historical perspective

Bo Carlsson
1984 Journal of Economic Behavior and Organization  
ABSTRACT THE DEVELOPMENT AND USE OF MACHINE TOOLS IN HISTORICAL PERSPECTIVE by Bo Carlsson Improvements and diffusion of machine tools have had a major impact on productivity in manufacturing industry  ...  Clearly improvements and diffusion of machine tools have had a strong impact on productivity in manufacturing industry since the Industrial Revolution. The impact has been both direct and indirect.  ...  programs for the machine and which orders and controls the operation of the machine --and direct numerical controi (DNC) which ties together several CNC machines via a central minicomputer.  ... 
doi:10.1016/0167-2681(84)90028-3 fatcat:274jfu2u5bfr5gajnx66xvohk4

Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution

Markus von Detten
2011 Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools - PASTE '11  
In reverse engineering, dynamic pattern detection is accomplished by collecting execution traces and comparing them to expected behavioral patterns.  ...  The traces are collected by manually executing the program under study and therefore represent only part of all relevant program behavior.  ...  Acknowledgments Our thanks go to Andreas Volk and Marie Christin Platenius for their ideas and their efforts in implementing the prototype.  ... 
doi:10.1145/2024569.2024573 dblp:conf/paste/Detten11 fatcat:suojlxa2bfhunacvoi6xlccg4y

Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration)

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015  
Modeling software systems as component & connector architectures with application-specific behavior modeling languages enables domain experts to describe each component behavior with the most appropriate  ...  Ultimately, black-box code generator composition facilitates development of code generators for architecture description languages with embedded behavior languages and increases code generator reuse.  ...  To this effect, MontiArcAutomaton employs the Maven 3 build automation tool with a special plugin that configures and executes parsing, checking, and code generation.  ... 
doi:10.1145/2814204.2814224 dblp:conf/gpce/RingertRW15 fatcat:eg54iaganzadrask6dcgi4y3om

Argos-ESL: a versatile tool for planning and managing experiments on driving behavior

Antonio Pérez, M. Isabel García, Manuel Nieto, José L. Pedraza, Santiago Rodríguez, Juan Zamorano
2014 European Transport Research Review  
Figure 5 shows the definition of a simple instrument panel containing two gauges for engine RPM and car speed, and a text box.  ...  The Argos designers provided the system with this imperative high level language assuming that although the supervisor is a computer user, not a software engineer, he/she would be familiarized with the  ... 
doi:10.1007/s12544-014-0143-3 fatcat:fzsxwsbdg5at7jrhwympuaqzyy

The Best of Both (Virtual) Worlds: Using Ethnography and Computational Tools to Study Online Behavior

2010 Ethnographic Praxis in Industry Conference Proceedings  
He is interested in social interaction and self-representation in virtual environments, and has employed a variety of tools and methods in his research, including: web-based surveys of online gamers, psychological  ...  experiments in immersive virtual reality environments, and data-mining of behavioral data from virtual worlds.  ...  While we have made progress in this direction and implemented some of these steps in our own software, many opportunities remain for further research and development in this area of computer-supported  ... 
doi:10.1111/j.1559-8918.2010.00013.x fatcat:4vzg6q5xojbynbb6cx25aqm55i
« Previous Showing results 1 — 15 out of 108,847 results