16,772 Hits in 6.5 sec

Integrating structured OO approaches with formal techniques for the development of real-time systems

Z. Chen, A. Cau, H. Zedan, H. Yang
1999 Information and Software Technology  
TAM is a systematic formal approach for the development of real-time systems based on the refinement calculus.  ...  In this paper, we explore the issue of integrating a real-time formal technique, TAM (Temporal Agent Model), with an industry-strength structured methodology known as HRT-HOOD.  ...  We believe that the technique developed in this paper provides a solution to increase the accessability of formal methods.  ... 
doi:10.1016/s0950-5849(99)00012-9 fatcat:gs7v4bk7mvcv3htkfrw4dmlbfm

A Summary of the ER'97 Workshop on Behavioral Modeling [chapter]

Stephen W. Liddle, Stephen W. Clyde, Scott N. Woodfield
1999 Lecture Notes in Computer Science  
This paper summarizes the contributions of the Behavioral Modeling workshop and suggests directions for future research in behavioral modeling.  ...  This very international workshop included interesting and highquality papers on both of these topics. The proceedings are available electronically through the World-Wide Web [10].  ...  We need to develop appropriate methodologies for the evaluation of CASE tool support for behavioral modeling.  ... 
doi:10.1007/3-540-48854-5_20 fatcat:ocot4tiuhvfgzbkbq2bm5hkfmi

The UML as a formal modeling notation

R France, A Evans, K Lano, B Rumpe
1998 Computer Standards & Interfaces  
The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems.  ...  In this paper we motivate an approach to formalizing UML in which formal speci cation techniques are used to gain insight i n to the semantics of UML notations and diagrams and describe a roadmap for this  ...  Acknowledgements The authors thank their colleagues for fruitful discussions and the referees for helpful comments.  ... 
doi:10.1016/s0920-5489(98)00020-8 fatcat:ujsx4mni2vf2fmwzahwfrjbzau

The UML as a Formal Modeling Notation [chapter]

Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
1999 Lecture Notes in Computer Science  
In this paper we describe and motivate an approach to formalizing UML in which formal specification techniques are used to gain insight into the semantics of UML notations and diagrams.  ...  We present work carried out by the Precise UML (PUML) group on the development of a precise semantic model for UML class diagrams.  ...  Acknowledgements The authors thank their colleagues for fruitful discussions and the referees for helpful comments.  ... 
doi:10.1007/978-3-540-48480-6_26 fatcat:frevelw7wbbktag3zfpr6qgwd4

A Survey of Software Development Approaches Addressing Dependability [chapter]

Sadaf Mustafiz, Jörg Kienzle
2005 Lecture Notes in Computer Science  
The paper concludes with a comparison of the various approaches based on several criteria.  ...  Software development methods, frameworks, middleware, and other proposed approaches that integrate the concern of fault tolerance into the early software development stages have been studied.  ...  The project continued with focus on development of real-time systems.  ... 
doi:10.1007/978-3-540-31869-9_8 fatcat:fukjaqy6e5h6fmr426rmx3lhvm

The Approach: Integrating Object Oriented Design and Formal Verification [chapter]

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
2000 Lecture Notes in Computer Science  
A distinctive feature of our approach is the use of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.  ...  This paper reports on the ongoing KeY project aimed at bridging the gap between (a) object-oriented software engineering methods and tools and (b) deductive verification.  ...  Aim of the SYSLAB project is the development of a scientifically founded approach for software and systems development.  ... 
doi:10.1007/3-540-40006-0_3 fatcat:buhfdmn74rhbjp5snxbfeuzxei

Combining analysis and synthesis in a model of a biological cell

Ken Webb, Tony White
2004 Proceedings of the 2004 ACM symposium on Applied computing - SAC '04  
commonly used for the top-down commercial development of complex real-time, embedded and other reactive systems.  ...  It is constructed using the object-oriented (OO) paradigm, the Unified Modeling Language (UML) and Real-Time Object-Oriented Methodology (ROOM) formalisms, and the Rational Rose RealTime (RRT) tool, all  ...  The powerful combination of the OO paradigm as embodied in the UML and ROOM visual formalisms with the added flexibility of the C, C++ or Java programming languages, integrated in a development tool such  ... 
doi:10.1145/967900.967938 dblp:conf/sac/WebbW04 fatcat:d6yeitqi6bfipkzd3lp2mjapti

A Model of a Mathematics Editor using Intelligent Agent Technology

Teh Noranis Mohd Aris, Shahrin Azuan Nazeer
2010 Procedia - Social and Behavioral Sciences  
This paper presents a study of existing mathematics editor and proposed a web-based model of a mathematics editor using intelligent agent technology based on the Belief, Desires, Intention (BDI) model.  ...  To master the mathematics subject, a lot of exercises need to be done. Mathematical problem solving requires writing mathematics equations and symbols to simplify them to get the answer.  ...  The formula editor provides a real-time syntax checking for expressions. OO-CAS consists of three classes: AueCASApplication, Parser and Kernel.  ... 
doi:10.1016/j.sbspro.2010.12.081 fatcat:kzn42upavndk3go5ixjporp5cu

Automatic code generation and solution estimate for object-oriented embedded software

Ronaldo Rodrigues Ferreira
2008 Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08  
Experimental results show distinct implementation strategies only varying data structures used in generated Java code.  ...  This work tailors an Alloy model translator to Java code and an estimate tool for physical resources optimization into a design-flow.  ...  It also provides execution trace simulation, requiring less effort and time to check system integrity than model checking, however without formal correctness.  ... 
doi:10.1145/1449814.1449903 dblp:conf/oopsla/Ferreira08 fatcat:ixku2vgbbnbsxhav4clcjghjcy

A case study in object-oriented modeling and design of distributed multimedia applications

Morzenti, Pradella, Rossi, Russo, Sergio
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs).  ...  DMAs are a class of software applications with a range of strong -often conflicting -requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution  ...  Acknowledgements We acknowledge the contribution of Dr Lucia Merone to the design and implementation of the DiVA system under CORBA.  ... 
doi:10.1109/pdse.1999.779755 dblp:conf/pdse/MorzentiPRRS99 fatcat:y2omvplbj5bvfmphenyoimpewi

Concern-Based Composition and Reuse of Distributed Systems [chapter]

Andrey Nechypurenko, Tao Lu, Gan Deng, Emre Turkay, Douglas C. Schmidt, Aniruddha Gokhale
2004 Lecture Notes in Computer Science  
First, it motivates the use of a concern-based approach to enhance the level of abstraction at which component-based distributed systems are developed and reused to (1) improve software quality and developer  ...  Successful reusable software for large-scale distributed systems often must operate in multiple contexts, e.g., due to (1) integration with other systems using different technologies and platforms, (2)  ...  For example, the number of components and the way they communicate with each other can influence the configuration of different infrastructural aspects, such as real-time event channels [Harrison] .  ... 
doi:10.1007/978-3-540-27799-6_14 fatcat:omwtq7jh3zhllkgm5fiembdnai

Milestones in Software Engineering and Knowledge Engineering History: A Comparative Review

Isabel M. del Águila, José Palma, Samuel Túnez
2014 The Scientific World Journal  
We present a review of the historical evolution of software engineering, intertwining it with the history of knowledge engineering because "those who cannot remember the past are condemned to repeat it  ...  We also define a set of milestones that represent a convergence or divergence of the software development methodologies.  ...  Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.  ... 
doi:10.1155/2014/692510 pmid:24624046 pmcid:PMC3927817 fatcat:msskuzjm3za37ove2g3rcobciq

Formal techniques for OO software development

Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary Leavens
1991 Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91  
The real test of OOP will come when systems of 1 to 10 million lines of code are developed."  ...  with a better environment for the programmer to work in. l Formal techniques can support the clevelopment of methods for software development, which can then be taught to the programmers in a less formal  ... 
doi:10.1145/117954.117967 dblp:conf/oopsla/ChampeauxACDLLH91 fatcat:qmkuqtonhbajxoczqtd27wvrqe

Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications) [chapter]

Haim Kilov, Bernhard Rumpe
1998 Lecture Notes in Computer Science  
Moreover, these patterns substantially ease the elicitation and validation of business specifications during walkthroughs with business customers, and support separation of concerns using viewpoints.  ...  Business specifications are essential to describe and understand businesses (and, in particular, business rules) independently of any computing systems used for their possible automation.  ...  The experience gained with this tool in both academic and "real life" systems development environments points to positive results for this approach.  ... 
doi:10.1007/3-540-49255-0_39 fatcat:hszvth63nngrxieenogwcijxty

A survey on model-based testing approaches

Arilo C. Dias Neto, Rajesh Subramanyan, Marlon Vieira, Guilherme H. Travassos
2007 Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07  
Detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations.  ...  The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity.  ...  ACKNOWLEDGMENTS Dias Neto would like to thanks FAPEAM for the financial supporting. Prof. Travassos is a CNPq researcher. This work has been developed in context of eSEE and SCR grant.  ... 
doi:10.1145/1353673.1353681 fatcat:uwxgv5sdunadlkbjegyfqgrlpi
« Previous Showing results 1 — 15 out of 16,772 results