A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment
2012
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12
Preserved Fulltext
FoCaLiZe is an object-oriented programming environment that combines specifications, programs and proofs in the same language. ...
This paper describes how its features can be used to formally express specifications and to develop by stepwise refinement the design and implementation of secured systems, while proving that the implementation ...
Acknowledgments Many thanks to Thérèse Hardin and François Pessaux for enlightening discussions about this work. ...
doi:10.1145/2336717.2336726
dblp:conf/pldi/DoligezJR12
fatcat:h67ivn3qizbcte23sjixfop3pa
ASCEND : an object-oriented computer environment for modeling and analysis
2018
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 ASCEND language is a type definition that uses and extends object-oriented concepts, including refinement hierarchies, generalized arrays, part/whole modeling, partial and complete merging, deferred ...
It then presents an informal definition of the syntax and associated semantics for the language. ...
ThingLab was designed as an environment for constructing dynamic models of experiments in geometry and physics. ...
doi:10.1184/r1/6466787
fatcat:npskflhlrfckzannq7btx2dclq
Current Trends in the Study of Object-Oriented Programming in Higher Education
2019
ARPHA Proceedings
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 article examines the current methodological and technological problems of software development, based on an object-oriented approach in the field of programming. ...
The object-oriented programming enables one to take advantage of the object-oriented approach not only at the design stage, but also at the stage of their implementation, testing and maintenance. ...
of object-oriented analysis (classification and object-oriented programming; difficulties of classification; object-oriented analysis), principles and tools of object-oriented designing (abstraction; ...
doi:10.3897/ap.1.e0152
fatcat:kdy5j6p7xjan3gfabr3ykp7ukm
ECO-ORIENTED ARCHITECTURE AS A MEANS OF CREATING A SUSTAINABLE URBAN ENVIRONMENT
2019
e-GFOS
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.
An analysis of world experience is carried out and the basic features of humanization of the urban environment are identified, considering the system-ecological approach. ...
The techniques for creating eco-oriented architectural objects in the urban environment are identified, and their sustainable development is considered. ...
ANALYSIS OF THE LITERATURE DATA AND THE FORMULATION OF THE PROBLEM Analysis of the literature has shown that the issues of integrated interrelations between the natural and architectural environment of ...
doi:10.13167/2019.18.1
fatcat:ivuwhc3lnbb5ropcg5wjuewl2q
Towards a Natural Agent Paradigm Development Methodology
[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 2017; you can also visit the original URL.
The file type is application/pdf.
However, it has two major omissions: it is missing an agent modeling language and a consolidated development process such as the object paradigm now has. ...
The agent paradigm is acquiring the status of an engineering discipline and gradually leaving the laboratory and moving into industry. ...
One possible alternative would be an object-oriented design, reusing objects and interactions identified in the multi-agent architecture design stage. ...
doi:10.1007/978-3-540-30082-3_12
fatcat:fjxv5yvn5bfm7ld7rexpx5wmeu
Applying Metrics for Quality Analysis and Improvement of Object-Oriented Software
[chapter]
1996
Achieving Quality in Software
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.
Thus, we achieved a basis for software analysis (metrics) and development support (critique) of Smalltalk systems. ...
Software metrics are playing an important role in analyzing and improving quality of software work products during their development. ...
ACKNOWLEDGEMENTS The assistance of the Landis&Gyr corporation Switzerland, to provide product and process data of object-oriented projects is gratefully acknowledged. Several discussions with A. ...
doi:10.1007/978-0-387-34869-8_24
fatcat:wfmtkxvm65fozjyrcbjp3ol43q
Page 70 of American Society of Civil Engineers. Collected Journals Vol. 11, Issue CP1
[page]
1997
American Society of Civil Engineers. Collected Journals
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
One of the primary advantages of the use of object-oriented analysis, design, and programming practices is the reuse potential of the developed code. ...
A true object-oriented solution to an engineering problem arises from a thorough analysis of the problem do- main and the development of an application that emulates the existence of objects in that problem ...
Database research at Arizona State University
1996
SIGMOD record
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.
Our work has focused on using deductive database systems and DOODs (declarative, object-oriented database systems) for implementing an inter-module code analysis system of object-based languages, such ...
[Kara96] Karadimce, A. and Urban, S. D., "Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active, Object-Oriented Database," to appear in Proc. of the 12th Int. ...
doi:10.1145/381854.381892
fatcat:bnelyai2lrh5jlypswa5grgh5a
An object-oriented analysis method for customer relationship management information systems
2004
Information and Software Technology
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 2014; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose an object-oriented analysis method for the development of such a Customer Relationship Management Information System (CRMIS). ...
The approach starts from the identification of prospect customers and their desired behaviors under preferable execution environments, and ends with the specification of system-internal objects/entities ...
to take advantage of object-oriented techniques for enhanced analysis and design of a CRMIS. ...
doi:10.1016/j.infsof.2003.09.001
fatcat:ebe6lajzdzcozg3uwrkc3ye2f4
A Framework-Based Environment for Object-Oriented Scientific Codes
1993
Scientific Programming
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.
This article explores the impact of object-oriented frameworks upon a programming environment, in the context of object-oriented finite element and finite difference codes. ...
Frameworks are reusable object-oriented designs for domain-specific programs. In our estimation, frameworks are the key to productivity and reuse. ...
SUPPORTING FRAMEWORKS IN A PROGRAMMING ENVIRONMENT Effective use of design frameworks and object-oriented development requires an innovative development environment. ...
doi:10.1155/1993/545904
fatcat:bb6o4wcrwvam5oyvqwcsfhky3y
Objects and domain engineering (panel)
1995
SIGPLAN notices
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.
He has been involved with Ada and object-oriented methods since 1985 and is a recognized expert in the field of object-oriented analysis and design. Mr. ...
There are domain analysis approaches currently available that are not based on object-oriented techniques, yet an object-oriented approach would seem to some to be the most suitable for domain engineering ...
doi:10.1145/217839.217872
fatcat:sicv6lpuobdirlkles3stxcyei
Object-oriented representation of manufacturing systems: State of the art and perspectives
[chapter]
1998
Advances in Production Management Systems
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.
The paper compares traditional modelling techniques to the approach of object-oriented modelling and reviews the state of the art of the object-oriented applications developed within the manufacturing ...
As a conclusion, guidelines for the development of a comprehensive object-oriented representation of manufacturing systems are outlined. ...
Wu (1995) suggests an object-oriented systems analysis method, called hierarchical and object-oriented manufacturing systems analysis (HOOMA). ...
doi:10.1007/978-0-387-35304-3_18
fatcat:n4vxgkzqbraxniapqqcucuot3m
Understanding object-oriented: a unifying paradigm
1990
Communications of the ACM
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.
A look at the object-oriented software life cycle, as described by Meyer [5], Coad and Yourdon [4], and Henderson-Sellers and Edwards [9], identifies the three traditional activities of analysis, design ...
Both the analysis and design phases identify objects and the relationships between objects, providing a continuity that creates a seamless interface between phases. ...
The Proceedings of ACM's Conference on Object-Oriented Systems, Languages, and Applications (OOPSLA) is a rich source of material as well. ...
doi:10.1145/83880.84459
fatcat:hf5zwr7tt5eszdlryoixh2oj3y
SHLAER-MELLOR OBJECT-ORIENTED ANALYSIS AND RECURSIVE DESIGN, AN EFFECTIVE MODERN SOFTWARE DEVELOPMENT METHOD FOR DEVELOPMENT OF COMPUTING SYSTEMS FOR A LARGE PHYSICS DETECTOR
1996
Computing in High Energy Physics '95
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.
After evaluation of several modern object-oriented methods for development of the computing systems for the PHENIX detector at RHIC, we selected the Shlaer-Mellor Object-Oriented Analysis and Recursive ...
Design method as the most appropriate for the needs and development environment of a large nuclear or high energy physics detector. ...
Three of the most popular that are appropriate for large real-time systems are: Booch Object-Oriented Analysis and Design ', Rumbaugh Object Modeling Technique (OMT) 2 , and Shlaer-Mellor Object-Oriented ...
doi:10.1142/9789814447188_0125
fatcat:3xk5nvzikzdrvjuawxmvb7atte
Application-Oriented Methods for Systems Development — A Review
[chapter]
1995
IFIP Advances in Information and Communication Technology
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.
It identifies the objectives of such an approach, and discusses work carried out in the health-care domain, including the HEAL language which is currently under study at Strathclyde University. ...
The need for application-oriented methods has not yet been established, but a method which supports the incorporation of domain knowledge into the development life-cycle is known to be attractive. ...
The first two relate to specific work which sought to provide an applications-oriented context for methods used in systems analysis and design. ...
doi:10.1007/978-0-387-34848-3_9
fatcat:o6y5fmimx5c6zlpbm7xxnooyxi
« Previous
Showing results 1 — 15 out of 915,758 results