NDLI: Cadena: an integrated development, analysis, and verification environment for component-based systems

Please wait, while we are loading the content...

Pluggable reflection: decoupling meta-interface and implementation

Constructing test suites for interaction testing

Using benchmarking to advance research: a challenge to software engineering

On the uniformity of software evolution patterns

Computer-assisted assume/guarantee reasoning with VeriSoft

DADO: enhancing middleware to support crosscutting features in distributed, heterogeneous systems

Fragment class analysis for testing of polymorphism in Java software

New directions on agile methods: a comparative analysis

Understanding and predicting effort in software projects

Whole program Path-Based dynamic impact analysis

Comparison of two component frameworks: the FIPA-compliant multi-agent system and the web-centrie J2EE platform

A compositional formalization of connector wrappers

Hipikat: recommending pertinent software development artifacts

Palantír: raising awareness among configuration management workspaces

Fault-tolerance in a distributed management system: a case study

Software technology in an automotive company: major challenges

Experiences on defining and evaluating an adapted review process

About the development of a point of sale system: an experience report

Why can't they create architecture models like "Developer X"?: an experience report

Assessing test-driven development at IBM

Introducing software engineering by means of Extreme Programming

The impact of pair programming on student performance, perception and persistence

Evaluating individual contribution toward group software engineering projects

Beyond the Personal Software Process: metrics collection and analysis for the differently disciplined

The grand challenge of Trusted Components

ViewPoints: meaningful relationships are difficult!

Component technology: what, where, and how?

Panel: eXtreme Programming: helpful or harmful?

Writing good software engineering research papers: minitutorial

Practical software measurement

Report on the ICSE 2003 doctoral symposium

Research demonstrations and posters

Message from the Chairs

Component rank: relative significance rank for software component search

Improving web application testing with user session data

An empirical study of an informal knowledge repository in a medium-sized software consulting company

Design recovery of interactive graphical applications

Architecture, design, implementation

Scaling step-wise refinement

A framework for component deployment testing

Efficient authoring of software documentation using RaPiD7

Cost estimation for web applications

Precise dynamic slicing algorithms

Design Pattern Rationale Graphs: linking design to source

Modular verification of software components in C

Toward an understanding of the motivation Open Source Software developers

Consistency management with repair actions

The deployer's problem: configuring application servers for performance and reliability

Towards systematic recycling of systems requirements

Effective experience repositories for software engineering

The co-evolution of a hype and a software architecture: experience of component-producing large-scale EJB early adopters

An analysis of the fault correction process in a large-scale SDL production model

eXtreme Programming at universities: an educational perspective

Positive experiences with an open project assignment in an introductory programming course

On the supervision and assessment of part-time postgraduate software engineering projects

Teaching contract programming concepts to future software engineers

Must there be so few?: including women in CS

Patterns, frameworks, and middleware: their synergistic relationships

Automotive software engineering

Documenting software architectures: views and beyond

New software engineering faculty symposium (NSEFS 03)

Demonstration of AGENDA tool set for testing relational database applications

Conference Organization

The Vienna Component Framework enabling composition across component models

Improving test suites via operational abstraction

End-user software engineering with assertions in the spreadsheet paradigm

Recovering documentation-to-source-code traceability links using latent semantic indexing

Cadena: an integrated development, analysis, and verification environment for component-based systems

Sound methods and effective tools for engineering modeling and analysis

Data flow testing as model checking

Using process technology to control and coordinate software adaptation

Evaluating the quality of information models: empirical testing of a conceptual model quality framework

An empirical study of predicate dependence levels and trends

A component architecture for an extensible, highly integrated context-aware computing infrastructure

Architectural Interaction Diagrams: AIDs for system modeling

Tools for understanding the behavior of telecommunication systems

Automated support for classifying software failure reports

From scenarios to code: an air traffic control case study

Tricks and traps of initiating a product line concept in existing products

The software engineering impacts of cultural factors on multi-cultural software development teams

Quantifying the value of architecture design decisions: lessons from the field

Requirements discovery during the testing of safety-critical software

Problems and Programmers: an educational software engineering card game

Using a web-based project process throughout the software engineering curriculum

Empowering software engineers in human-centered design

Panel: empirical validation: what, why, when, and how

Computing systems dependability

SE pioneers symposium: the first 25 years --- the next 25 years: on doing work of lasting value

χChek: a model checker for multi-valued reasoning

External Reviewers

Modularity in the new millenium: a panel summary

Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications

Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2003

Trustworthy and sustainable operations in marine environments

ICSE 2003 Sponsors, Supporters, and Corporate Donors

Usage-centered software engineering: an agile approach to integrating users, user interfaces, and usability into software engineering practice

Fifth international workshop on Economics-driven Software Engineering Research (EDSER-5): "the search for value in engineering decisions"

Architectural level risk assessment tool based on UML specifications

Internet security and intrusion detection

6th ICSE workshop on component-based software engineering: automated reasoning and prediction

XVCL: XML-based variant configuration language

Pattern-oriented distributed system architectures

Bridging the gaps between software engineering and Human-Computer Interaction

Source viewer 3D (sv3D): a framework for software visualization

Industrial-strength software product-line engineering

ICSE workshop on: Software Variability Management

DRT: a tool for design recovery of interactive graphical applications

A tutorial on feature oriented programming and product-lines

ICSE 2003 workshop on Software Architectures for Dependable Systems

A software process scheduling simulator

Tutorial H2: an overview of UML 2.0

Second workshop on Scenarios and State Machines: models, algorithms, and tools

CLIME: an environment for constrained evolution demonstration description

Designing software architectures for usability

The 3rd workshop on Open Source Software Engineering

JIVE: visualizing Java in action demonstration description

Quality of service engineering with UML, .NET, and CORBA

ICSE 2003 workshop on Software Engineering for High Assurance Systems: synergies between process, product, and profiling (SEHAS 2003)

FEAT: a tool for locating, describing, and analyzing concerns in source code

$3^{rd}$ international workshop on Adoption-Centric Software Engineering ACSE 2003

Embedded architect: a tool for early performance evaluation of embedded software

ICSE workshop on Remote Analysis and Measurement of Software Systems (RAMSS)

An effective layout adaptation technique for a graphical modeling tool

Addressing the challenges of software industry globalization: the workshop on Global Software Development

Java program analysis projects in Osaka University: aspect-based slicing system ADAS and ranked-component search system SPARS-J

ICSE Workshop on Dynamic Analysis (WODA 2003)

Second international workshop on from SofTware Requirements to Architectures (STRAW'03)

Cadena: an integrated development, analysis, and verification environment for component-based systems

Content Provider	ACM Digital Library
Author	Hatcliff, John Ranganath, Venkatesh Prasad Jung, Georg Deng, Xinghua Dwyer, Matthew B.
Abstract	The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-critical domains, component-based development is beginning to take hold as a mechanism for incorporating non-functional aspects such as real-time, quality-of-service, and distribution. To form an effective basis for development of such systems, we believe that support for reasoning about correctness properties of component-based designs is essential.In this paper, we present Cadena -- an integrated environment for building and modeling CCM systems. Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition system semantics for these types, assembling systems from CCM components, visualizing various dependence relationships between components, specifying and verifying correctness properties of models of CCM systems derived from CCM IDL, component assembly information, and Cadena specifications, and producing CORBA stubs and skeletons implemented in Java. We are applying Cadena to avionics applications built using Boeing 's Bold Stroke framework.
Starting Page	160
Ending Page	173
Page Count	14
File Format	PDF
ISBN	076951877X
ISSN	02705257
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2003-05-03
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article
Subject	Software

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in