Narayan C. Debnath

Robert Uzal

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Rigorous Definition/Specification in RAISE Specification Language of a Framework for Web Services about Geographic Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A High Performance Roll Forward Recovery Agorithm for Ring Networks.

[BibT_eX]

Proceedings of the ISCA 25th International Conference on Computers and Their Applications, 2010

Pseudo Diameter-Based Pruning - A QOS Based Broadcasting for Wide Area Networks.

[BibT_eX]

Proceedings of the ISCA 25th International Conference on Computers and Their Applications, 2010

Text Steganography in Indian Scripts using Compound Characters.

[BibT_eX]

Debidas Ghosh

Proceedings of the ISCA 25th International Conference on Computers and Their Applications, 2010

Reusability as Design of Second-Level Algorithms.

[BibT_eX]

Proceedings of the ISCA 25th International Conference on Computers and Their Applications, 2010

A Three Variable, Discrete Value Functional Test Case Executor Exemplified.

[BibT_eX]

Mark Moline

Proceedings of the ISCA 23rd International Conference on Computer Applications in Industry and Engineering, 2010

A Generalized, Three Variable, Discrete Value Functional Test CaseGenerator.

[BibT_eX]

Mark Moline

Proceedings of the ISCA 23rd International Conference on Computer Applications in Industry and Engineering, 2010

Recovering business process diagrams from UML diagrams.

[BibT_eX]

[DOI]

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

Management scheme for intelligent terminals for the information super-highways.

[BibT_eX]

[DOI]

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

Optimization of the Business Process metrics definition according to the BPDM standard and its formal definition in OCL.

[BibT_eX]

[DOI]

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

Characteristics of assembled bursts in OBS network under correlated input traffic.

[BibT_eX]

[DOI]

Gargi Chakraborty

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

OLAP umbrella: Visualization model for multidimensional databases.

[BibT_eX]

[DOI]

Tanmoy Bhowmik

Anirban Sarkar

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

A kernelized fuzzy c-means algorithm for automatic magnetic resonance image segmentation.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2009

A new approach for steganography in Bengali text.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2009

Measuring testing as a distributed component of the software life cycle.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2009

Improving data reduction for 3D shape preserving.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2009

Management Automation Specified by SPEM Work Breakdown Element using Workflow Technology.

[BibT_eX]

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Combination of a MANET Data Communication Protocol with a Service Discovery Protocol for Mobile Ad Hoc Networks in a Framework.

[BibT_eX]

Afsaneh Rahbar

Mehran Mohsenzadeh

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

A Strategy to Derive RSL Specification from Feature Models.

[BibT_eX]

Laura Felice

María Virginia Mauco

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

New Techniques and Algorithms for Text Steganography through Hindi Text.

[BibT_eX]

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Software Projects Finance Support: Preliminary Talks between Software Project Managers and Potential Investors.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Formalizing the Management Automation with Workflow of Software Development Process Based on the SPEM Activities View.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

A New Algorithm for Frequent Itemset Generation in Non-Binary Search Space.

[BibT_eX]

[DOI]

G. Praveen Kumar

Anirban Sarkar

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Comparison of Touchpad Force Field Results: A Current Experiment.

[BibT_eX]

Clay R. Smith

Proceedings of the ISCA 24th International Conference on Computers and Their Applications, 2009

Usability of the Pen Input Device on a Menu with Force Fields.

[BibT_eX]

Clay R. Smith

Proceedings of the ISCA 24th International Conference on Computers and Their Applications, 2009

Simple Quality Evaluation Framework of E-Government Services.

[BibT_eX]

Baisakhi Chakraborty

Ranjan Kumar Maji

Proceedings of the ISCA 24th International Conference on Computers and Their Applications, 2009

Super-Recursive Algorithms in Testing Distributed Systems.

[BibT_eX]

Proceedings of the ISCA 24th International Conference on Computers and Their Applications, 2009

Clustering Customer Transactions: A Rough Set Based Approach.

[BibT_eX]

Proceedings of the ISCA 22nd International Conference on Computer Applications in Industry and Engineering, 2009

On Formalizing UML 2.0 Activities: Stream and Exception Parameters.

[BibT_eX]

Sabine Boufenara

Faiza Belala

Proceedings of the ISCA 22nd International Conference on Computer Applications in Industry and Engineering, 2009

Mechanically Generating and Executing Test Cases -Preliminary Design and Implementation of a Tool.

[BibT_eX]

Proceedings of the ISCA 22nd International Conference on Computer Applications in Industry and Engineering, 2009

Constant Splitting of Instructions Applied to Embedded Systems for Code Compression.

[BibT_eX]

M. M. F. Bari

Proceedings of the ISCA 22nd International Conference on Computer Applications in Industry and Engineering, 2009

A New Approach to Hindi Text Steganography by Shifting Matra.

[BibT_eX]

[DOI]

Debidas Ghosh

Proceedings of the ARTCom 2009, 2009

Integrating natural language oriented models with feature model.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

Towards mosques management information system.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Improving Fuzzy Algorithms for Automatic Magnetic Resonance Image Segmentation.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

Data Reduction Algorithm Based on Gaussian Image Estimation.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

An Approach to Bengali Text Steganography.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

How to Measure Testing Results.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

Improving Model Driven Architecture with Requirements Models.

[BibT_eX]

[DOI]

María Virginia Mauco

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Feature Model of E-Government Systems Integrated with Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Countering sinkhole and black hole attacks on sensor networks using Dynamic Trust Management.

[BibT_eX]

[DOI]

Suman Deb Roy

Sneha Aman Singh

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.

[BibT_eX]

[DOI]

Hazem El-Gendy

Nabil El-Kadhi

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Formal automated transformation of SDL specifications to Lotos specifications.

[BibT_eX]

[DOI]

Hazem El-Gendy

Nabil El-Kadhi

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Metrics applied to Aspect Oriented Design using UML profiles.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

A proactive burst assembly algorithm for optical burst switched networks.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Formal Automated Transformation of SDL Specifications to Estelle Specifications.

[BibT_eX]

Hazem El-Gendy

Nabil El-Kadhi

Proceedings of the ISCA 23rd International Conference on Computers and Their Applications, 2008

An Agent Based Framework for Peer to Peer Distributed Computing.

[BibT_eX]

Proceedings of the ISCA 23rd International Conference on Computers and Their Applications, 2008

Citizen Centric Modelling of E-Government.

[BibT_eX]

Baisakhi Chakraborty

Proceedings of the ISCA 21st International Conference on Computer Applications in Industry and Engineering, 2008

Effectiveness of ICT and E-Governance in Enhancing Human Development.

[BibT_eX]

Baisakhi Chakraborty

Proceedings of the ISCA 21st International Conference on Computer Applications in Industry and Engineering, 2008

2007

Software projects finance feasibility analysis in the context of project management body of knowledge using "use case points" estimation approach.

[BibT_eX]

Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 2007

Correctness in the software life cycle.

[BibT_eX]

Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 2007

A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents.

[BibT_eX]

Proceedings of the ICSOFT 2007, 2007

Software Project Management: Including Configuration Management in PMBOK.

[BibT_eX]

Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

A Prototype Validation Experiment on Software Metrics using an Automated Tool.

[BibT_eX]

Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

Correctness in a Computational Process.

[BibT_eX]

Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

IRS: An Intelligent Recruitment System.

[BibT_eX]

Samah Rifai

Ramzi A. Haraty

Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, 2007

An Automated Test Generation and Execution System.

[BibT_eX]

Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, 2007

Testing in the Software Life Cycle.

[BibT_eX]

Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, 2007

Defining OCL constraints for the Proxy Design Pattern Profile.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

E-government Services Offerings Evaluation Using Continuous Logic.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006

Overhead elimination mechanisms in real-time systems.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2006

An ArgoUML metamodel extension for the workflow systems.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2006

Software tool for naval surface warfare simulation and training.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2006

Optimal statistical model for forecasting ozone.

[BibT_eX]

[DOI]

Mali Abdollahian

R. Foroughi

J. Comput. Methods Sci. Eng., 2006

A Detailed UML Design of a Software Testing Tool.

[BibT_eX]

Proceedings of the 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), 2006

Correctness as a Relative Gradual Software Property.

[BibT_eX]

J. Baltasar García Pérez-Schofield

Proceedings of the 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), 2006

Workflow Modeling and Simulation using a Extension of UML Activity Diagram.

[BibT_eX]

Proceedings of the 21st International Conference on Computers and Their Applications, 2006

Software Correctness.

[BibT_eX]

Proceedings of the 21st International Conference on Computers and Their Applications, 2006

Design and description of a tool towards a software engineering experiment.

[BibT_eX]

Proceedings of the ISCA 19th International Conference on Computer Applications in Industry and Engineering, 2006

An autotester for the modified commission function.

[BibT_eX]

Proceedings of the ISCA 19th International Conference on Computer Applications in Industry and Engineering, 2006

Supporting the SPEM with a UML Extended Workflow Metamodel.

[BibT_eX]

[DOI]

J. Baltasar García Pérez-Schofield

Manuel Pérez Cota

Daniel Romero

Marcelo Uva

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

Defining Patterns Using UML Profiles.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Formalization of petri nets with clocks.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2005

Development of a tool for code automatic generation of persistent objects.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2005

Complexity measures for software engineering.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2005

Using a feature model for RAISE specification reusability.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Design and implementation of a reusable software tool with application.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

A testing and analysis tool for certain 3-variable functions.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Java Autotester for the Triangle Function.

[BibT_eX]

Maria Alejandra Barrera

Joshua Wilson

Joseph Cropper

Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

Testing as Specification in Agile Methods.

[BibT_eX]

Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

Properties Needed in Distribution Media to Counter Software Piracy.

[BibT_eX]

M. R. Warsi

Proceedings of the 20th International Conference on Computers and Their Applications, 2005

UML Profiles for Design Patterns.

[BibT_eX]

Proceedings of the 20th International Conference on Computers and Their Applications, 2005

Quality of Software That Does Not Exist.

[BibT_eX]

Proceedings of the 20th International Conference on Computers and Their Applications, 2005

Modified RSA in the Domains of Gaussian Integers and Polynomials Over Finite Fields.

[BibT_eX]

Abdul Nasser El-Kassar

Ramzi A. Haraty

Y. A. Awad

Proceedings of the ISCA 18th International Conference on Computer Applications in Industry and Engineering, 2005

Fuzzy Set Based Software Measurement and Estimation.

[BibT_eX]

Proceedings of the ISCA 18th International Conference on Computer Applications in Industry and Engineering, 2005

Integrating balanced scorecard domain formalization with underlying project plan formalization.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

A technique based on the OMG metamodel and OCL for the definition of object-oriented metrics applied to UML models.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Incorporating a Reuse Model to the RAISE Formal Method.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

A Practical Approach to Test Case Design for Module Based Web Applications and Reusability.

[BibT_eX]

[DOI]

Wenying Feng

Vivek Gupta

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

An Autotester for the Modified Nextdate Function Reusing a Test Case Generator.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Software Technological Roles, Usability, and Reusability.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

A Comparative Analysis of Centralized, Voting - and Quorum-based Mutual Exclusion Algorithms.

[BibT_eX]

Devdutt Mistry

Hisham Al-Mubaid

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Metadata Considerations in the Context of an Executive Information System Project Based on Balanced Scorecard Approach.

[BibT_eX]

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Conditions for a Successful Implementation of an Executive Information System.

[BibT_eX]

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Standardizing Entity-Relationship Graphs with UML.

[BibT_eX]

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Improved Software Reliability Prediction through Fuzzy Logic Modeling.

[BibT_eX]

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Method of Evaluation of Distributed and Token-based Mutual Exclusion Approaches.

[BibT_eX]

Hisham Al-Mubaid

Devdutt Mistry

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

A Test Case Generator for Three-variable Functions: Object-Oriented Design and Implementation.

[BibT_eX]

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

Measuring Software Maintenance.

[BibT_eX]

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

Application of Process Control for Improving Performance of FMS Systems Using X-Tree Multibus Advanced Parallel Computer Systems.

[BibT_eX]

Mali Abdollahian

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

Code Embedding to Enhance File Security.

[BibT_eX]

M. R. Warsi

Ayesha Siddiqui

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

Object Oriented Mixed Scheduling Algorithm in Real Time Systems.

[BibT_eX]

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003

Data Architecture Component Overview of a Balanced Scorecard to Manage the Last and Very Difficult Stage of a Very Important Hydroelectric Project.

[BibT_eX]

Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

Object Design and Development of Testing Tools.

[BibT_eX]

Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

Specification in RSL of a Tool based on Graphs for Reverse Engineering.

[BibT_eX]

Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

Scheduling Bounded Predictable (BP) and Soft Aperiodic Tasks.

[BibT_eX]

Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

Software Metrics from the Algorithmic Perspective.

[BibT_eX]

Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

Complexity of Algorithms and Software Metrics.

[BibT_eX]

Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

Object-Oriented Approach of Bounded Predictable (BP) Task Scheduler.

[BibT_eX]

Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

Web Programming Language Evaluation using LSP.

[BibT_eX]

Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

Hardship of Program Utilization and User-Friendly Software.

[BibT_eX]

Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

2002

Metrics Comparison for Java Programs Using a Software Tool.

[BibT_eX]

Proceedings of the ISCA 17th International Conference Computers and Their Applications, 2002

Improving the Management of the last stage of the Yacyretá Hydroelectric Project through the use of Kaplan and Norton's Balanced Scorecard Scheme.

[BibT_eX]

Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002

Structuring a Formal Specification starting from Process Modeling.

[BibT_eX]

Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002

Scheduling Algorithm for Minimizing Context Switches of Periodic and Bounded Predictable Tasks.

[BibT_eX]

Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002

2001

Methods for improving the reliability simulation and modelling of message passing networks.

[BibT_eX]

[DOI]

Al-Junaid Walker

ACIS Int. J. Comput. Inf. Sci., 2001

Generating test cases for a three variable function.

[BibT_eX]

Proceedings of the ISCA 16th International Conference Computers and Their Applications, 2001

A Test Case Generator Using Boundary Value Analysis.

[BibT_eX]

Maria Alejandra Barrera

Proceedings of the 14th International Conference on Computer Applications in Industry and Engineering, 2001

An Analysis of Software Engineering Metrics in OO Environment.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000

Use of heuristics in rule based class modeling.

[BibT_eX]

Veronica Varela

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

Design and implementation of a testing tool.

[BibT_eX]

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

Architectural design and performance analysis of a mobile multi-robot system based on a superhypercube multibus architecture.

[BibT_eX]

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

1999

OOPiGen: An improved design and description.

[BibT_eX]

Saif Islam

Proceedings of the Computers and Their Applications (CATA-99), 1999

Component-based software development.

[BibT_eX]

Chia-Chu Chiang

Proceedings of the Computers and Their Applications (CATA-99), 1999

1998

Rapid prototyping and GUI building with visualage.

[BibT_eX]

Proceedings of the Computers and Their Applications (CATA-98), 1998

An automated software model generator.

[BibT_eX]

Saif Islam

Proceedings of the Computers and Their Applications (CATA-98), 1998

1994

Empirical Validation of a New Structural Measure.

[BibT_eX]

[DOI]

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

Characterization of Imperative Programs Involving Complex Iterations.

[BibT_eX]

[DOI]

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993

A General Abstract Representation for the Study of Concurrent Programs.

[BibT_eX]

[DOI]

Sudharsan R. Iyengar

Proceedings of the ACM 21th Conference on Computer Science, 1993

1991

A new abstraction for the study of module interconnection.

[BibT_eX]

[DOI]