A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Integrating structured OO approaches with formal techniques for the development of real-time systems
1999
Information and Software Technology
Preserved Fulltext
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
1998
Computer Standards & Interfaces
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings of the 2004 ACM symposium on Applied computing - SAC '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Procedia - Social and Behavioral Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1999
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2014
The Scientific World Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1991
Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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