915,758 Hits in 6.8 sec

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment

Damien Doligez, Mathieu Jaume, Renaud Rioboo
2012 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12  
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

Peter C. Piela, Carnegie Mellon University.Engineering Design Research Center.
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

Tatyana Gainutdinova, Marina Denisova, Olga Shirokova
2019 ARPHA Proceedings  
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


Maksym Votinov, Department of the basics of architectural design, O.M. Beketov National University of Urban Economy in Kharkiv, Olga Smirnova
2019 e-GFOS  
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]

Fernando Alonso, Sonia Frutos, Loïc Martínez, César Montes
2004 Lecture Notes in Computer Science  
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]

I. Morschel, Ch. Ebert
1996 Achieving Quality in Software  
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  
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

Susan D. Urban, Suzanne W. Dietrich, Forouzan Golshani
1996 SIGMOD record  
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

Jyhjong Lin, Ming-Chang Lee
2004 Information and Software Technology  
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

Robert A. Ballance, Anthony J. Giancola, George F. Luger, Timothy J. Ross
1993 Scientific Programming  
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)

Sanjiv Gossain, Don Batory, Hassan Gomaa, Mitch Lubars, Christopher Pidgeon, Ed Seidewitz
1995 SIGPLAN notices  
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]

Anna Bartolotta, Marco Garetti
1998 Advances in Production Management Systems  
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

Tim Korson, John D. McGregor
1990 Communications of the ACM  
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


1996 Computing in High Energy Physics '95  
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]

D. Millington, I. M. Tulloch
1995 IFIP Advances in Information and Communication Technology  
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