145,017 Hits in 4.5 sec

Contract Oriented Development of Component Software [chapter]

Zhiming Liu, He Jifeng, Xiaoshan Li
IFIP International Federation for Information Processing  
We also combine component-based and objectoriented techniques in component-based software development.  ...  The developer has to ensure that the specification of a component is met by its design and implementation.  ...  We also thank our colleague Dang Van Hung for his comments on the earlier version of the paper.  ... 
doi:10.1007/1-4020-8141-3_28 dblp:conf/ifipTCS/LiuHL04 fatcat:rz4xjgl2ybb3bgs7hg4qqbmzsm

Towards a Foundation of Component-Oriented Software Reference Models [chapter]

Thorsten Teschke, Jörg Ritter
2001 Lecture Notes in Computer Science  
The increasing number of available software components and competing interoperability standards render the selection, composition, and configuration of software components increasingly complex.  ...  software components and component-based software systems.  ...  Introduction The notion of component-based software development denotes an approach pursued in every mature engineering discipline: systems (here: software) shall be developed by reusing and combining  ... 
doi:10.1007/3-540-44815-2_6 fatcat:bglnvi7ahbdezkfzm2ybcecnxu

Towards contract-based approach for quality-driven Service Component Architecture

Maryem Rhanoui, Bouchra El Asri
2012 Second International Conference on the Innovative Computing Technology (INTECH 2012)  
We propose a multilevel contract model that aims to address reliability and quality issues for service component oriented systems by expressing a set of its properties and constraints.  ...  In this paper, we present main techniques and models for assuring quality and trustworthiness of component-based systems in general, and then we present our contract-aware service component meta model.  ...  Despite the fact that the concept of component contracts was formerly proposed, it still not commonly used in software development.  ... 
doi:10.1109/intech.2012.6457754 fatcat:7fsbztfae5ctngcjldah524dhy

Formal Aspects of Component Software (FACS 2010 selected and extended papers)

Luís Soares Barbosa, Markus Lumpe
2014 Science of Computer Programming  
The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering  ...  However, many conceptual and technological issues remain that challenge component-based software development theory and practice.  ...  This paper details the Paradigm modeling process of migration and provides a proof of its correctness. Code annotation offers an effective means to runtime verification of component-based systems.  ... 
doi:10.1016/j.scico.2014.03.010 fatcat:euxsvofacjfhdmrb6unokikrji

Component-based development: from buzz to spark

B. Meyer, C. Mingins
1999 Computer  
Component-based development (CBD) is the building of software systems out of prepackaged generic elements.  ...  The catalyst behind component-based development is the growing realization by the software industry that something must be done to control the costs of developing software products and boosting their quality  ... 
doi:10.1109/2.774916 fatcat:6ibyzxfylbfbdjtqtpn4x7qyai

Components, objects, and contracts

Olaf Owe, Gerardo Schneider, Martin Steffen
2007 Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07  
We take the object-oriented, concurrent programming language Creol as starting point and extend it with a notion of components.  ...  We then discuss a framework where components are accompanied by contracts and we sketch some ideas on how analysis of compatibility and compositionality could be done in such a setting.  ...  COMPONENTS, OBJECTS AND CONTRACTS Creol Creol is an object-oriented, concurrent programming and modeling language developed at the University of Oslo.  ... 
doi:10.1145/1292316.1292328 dblp:conf/sigsoft/OweSS07 fatcat:zmc6gmr7pjd77dbddbywd2kecy

Formal languages and analysis of contract-oriented software

Olaf Owe, Gerardo Schneider
2009 The Journal of Logic and Algebraic Programming  
Contract-oriented software development for Internet services In order to guarantee a minimum of trustful interaction, service-oriented architectures (SOA) and other electronic intraorganization collaborations  ...  Software designers should define precise verifiable interface specifications (contracts) for software components.  ... 
doi:10.1016/j.jlap.2009.02.012 fatcat:xyqlwzcwkjflhms5affkrei3fu

rCOS: Theory and Tool for Component-Based Model Driven Development [chapter]

Zhiming Liu, Charles Morisset, Volker Stolz
2010 Lecture Notes in Computer Science  
Abstract We present the roadmap of the design and progress of a theory supported tool for component-based model driven software development (CB-MDD).  ...  Curriculum development projects, in which courses of software technology for universities in developing countries are developed, 4.  ...  Within the scope of software engineering, models of software development processes are proposed for dividing and conquering the problems in software development.  ... 
doi:10.1007/978-3-642-11623-0_3 fatcat:7jbtx2s7b5hnfoey2xlocskc4m

A Contract-Based Approach of Resource Management in Information Systems [chapter]

Nicolas Le Sommer
2003 Lecture Notes in Computer Science  
This paper reports the design of the resource-oriented contract model implemented in the JAMUS platform.  ...  These contracts allow software components to negotiate with the JAMUS platform for the resources they need.  ...  In project RASC (Resource-Aware Software Components) our objective is to promote the development of software components whose non-functional properties are fully specified.  ... 
doi:10.1007/978-3-540-45242-3_13 fatcat:dixlbs3huzglxjqvlqfjfiqsv4

Analyzing Interactions of Asynchronously Communicating Software Components [chapter]

Tevfik Bultan
2013 Lecture Notes in Computer Science  
In the service-oriented computing domain this type of message-based communication contracts are called "choreography" specifications.  ...  Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem.  ...  Singularity is an experimental operating system developed by Microsoft Research in order to improve the dependability of software systems [9] .  ... 
doi:10.1007/978-3-642-38592-6_1 fatcat:ydsdbyhhdjeabefg6se6s6hgtu

Hierarchical Modeling of Complex Internet of Things Systems Using Conceptual Modeling Approaches

Khurrum Mustafa Abbasi, Tamim Ahmed Khan, Irfan ul Haq
2019 IEEE Access  
INDEX TERMS Agent-based modeling, ambient-oriented modeling, aspect-oriented modeling, conceptual modeling approaches, contract-based modeling, fuzzy-logic modeling, the Internet of Things, network-based  ...  He is currently pursuing the Ph.D. degree in software engineering with Bahria University, where he was a Research Assistant. He has been developing web-based applications, since 2010.  ...  Design by contract is a software development methodology which uses contracts throughout software development life-cycle.  ... 
doi:10.1109/access.2019.2930933 fatcat:lrsbrsyt65csrno5bn66tseqea

Ensuring semantic integrity of reusable objects (panel)

Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer
1992 conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '92  
is that they force potential "reuse& (software developers wishing to take advantage of existing library components) to choose between two equally unsatisfactory types of component documentation: 1 -The  ...  Richard Helm Semantic Integrity of Reusable Objects: Re-use and Abuse of Software Components Software components only operate under certain assumptions: parameter values, calling conventions etc.  ... 
doi:10.1145/141936.141961 dblp:conf/oopsla/StacyHKM92 fatcat:rwn3ja6ninckbfxobcthga4v24

An Analysis of Some Aspects of Component-Based Programming for Selecting Appropriate Categorical Structures as their Models

William Steingartner, Davorka Radakovic, Valerie Novitzká, Mohamed Ali M. Eldojali
2017 Acta Electrotechnica et Informatica  
In this paper we formulate an introductory analysis of some aspects of component-based programming for selecting appropriate categorical structures as their models.  ...  Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules.  ...  COMPONENT ORIENTED PROGRAMMING Component oriented programming (COP) is a technique of developing software applications by combining pre-existing and new components [14] .  ... 
doi:10.15546/aeei-2017-0009 fatcat:7jihlg5yhzg6jnydgzzl5ds47e

Interconnecting Objects via Contracts [chapter]

Luís Filipe Andrade, José Luiz Fiadeiro
1999 Lecture Notes in Computer Science  
design patterns for implementing coordination over current platforms for component-based development; !  ...  Capitalizing on work in Software Architectures and Coordination Languages, and our experience in the banking industry, this tutorial puts forward the concept of contracts for providing explicit representations  ...  He is also partner and president of a software company that develops banking applications and tools based on the OBLOG language, and has extensive experience in projects implementing transactional systems  ... 
doi:10.1007/3-540-46852-8_40 fatcat:u5e6srf4lnhbbc7imabhojr27i

Contract Aware Components, 10 years after

Antoine Beugnard, Jean-Marc Jézéquel, Noël Plouzeau
2010 Electronic Proceedings in Theoretical Computer Science  
The notion of contract aware components has been published roughly ten years ago and is now becoming mainstream in several fields where the usage of software components is seen as critical.  ...  The goal of this paper is to survey domains such as Embedded Systems or Service Oriented Architecture where the notion of contract aware components has been influential.  ...  For instance, the Artist network of excellence supported a research cluster on Component-Based Software Development where the notion of contract was central.  ... 
doi:10.4204/eptcs.37.1 fatcat:dkjyw5v4ujduznvfzg4eutsoki
« Previous Showing results 1 — 15 out of 145,017 results