article

Free access

Component-based software using RESOLVE

Authors:

Marulli Sitariman,

Bruce WeideAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 19, Issue 4

Pages 21 - 22

https://doi.org/10.1145/190679.199221

Published: 01 October 1994 Publication History

PDF eReader

Abstract

No abstract available.

Cited By

View all

Du XDu CChen JYang MYu W(2022)A Simulation and Verification Platform for Avionics Systems Based on Future Airborne Capability Environment ArchitectureApplied Sciences10.3390/app12221153312:22(11533)Online publication date: 13-Nov-2022
https://doi.org/10.3390/app122211533
Rumreich LSivilotti P(2021)Formal Verification of a Java Component Using the RESOLVE FrameworkFrontiers of Combining Systems10.1007/978-3-030-86205-3_16(287-305)Online publication date: 8-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-86205-3_16
Malik PNautiyal LRam M(2019)A Method for Considering Error Propagation in Reliability Estimation of Component-Based Software SystemsInternational Journal of Mathematical, Engineering and Management Sciences10.33889//IJMEMS.2019.4.3-0514:3(635-653)Online publication date: 1-Jun-2019
https://doi.org/10.33889//IJMEMS.2019.4.3-051
Show More Cited By

Index Terms

Component-based software using RESOLVE
1. Software and its engineering
  1. Software notations and tools
    1. System description languages
      1. Specification languages

Recommendations

Component-based software engineering
Software release management for component-based software

Software release management is the process through which software is made available to and obtained by its users. Until now, this process has been relatively straightforward. However, the emergence of component-based software is complicating software ...
Software Component Models

Component-based Development (CBD) is an important emerging topic in Software Engineering, promising long sought after benefits like increased reuse, reduced time-to-market and hence software production cost. The cornerstone of a CBD technology is its ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 19, Issue 4

Oct. 1994

70 pages

ISSN:0163-5948

DOI:10.1145/190679

Editor:
Will Tracz
Loral Federal Systems, Owego, NY

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1994

Published in SIGSOFT Volume 19, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

91
Total Citations
View Citations
211
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)4

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Du XDu CChen JYang MYu W(2022)A Simulation and Verification Platform for Avionics Systems Based on Future Airborne Capability Environment ArchitectureApplied Sciences10.3390/app12221153312:22(11533)Online publication date: 13-Nov-2022
https://doi.org/10.3390/app122211533
Rumreich LSivilotti P(2021)Formal Verification of a Java Component Using the RESOLVE FrameworkFrontiers of Combining Systems10.1007/978-3-030-86205-3_16(287-305)Online publication date: 8-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-86205-3_16
Malik PNautiyal LRam M(2019)A Method for Considering Error Propagation in Reliability Estimation of Component-Based Software SystemsInternational Journal of Mathematical, Engineering and Management Sciences10.33889//IJMEMS.2019.4.3-0514:3(635-653)Online publication date: 1-Jun-2019
https://doi.org/10.33889//IJMEMS.2019.4.3-051
Kraemer E(2018)Teaching the Design-by-Contract Concept in a Software Engineering Course Using RESOLVEACM SIGSOFT Software Engineering Notes10.1145/3229783.322979643:3(18-18)Online publication date: 7-Dec-2018
https://dl.acm.org/doi/10.1145/3229783.3229796
Sitaraman MWeide B(2018)A Synopsis of Twenty Five Years of RESOLVE PhD Research EffortsACM SIGSOFT Software Engineering Notes10.1145/3229783.322979443:3(17-17)Online publication date: 7-Dec-2018
https://dl.acm.org/doi/10.1145/3229783.3229794
Tiwari UKumar SKumar N(2017)Estimating actual execution time of Component-based software: Considering Interaction-metric2017 International Conference on Computing, Communication and Automation (ICCCA)10.1109/CCAA.2017.8229929(870-875)Online publication date: May-2017
https://doi.org/10.1109/CCAA.2017.8229929
Kabbani NWelch DPriester CSchaub SDurkee BSun YSitaraman M(2015)Formal Reasoning Using an Iterative Approach with an Integrated Web IDEElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.187.5187(56-71)Online publication date: 14-Aug-2015
https://doi.org/10.4204/EPTCS.187.5
Negi DChauhan YDimri PHarbola A(2015)An Analytical Study of Component-Based Life Cycle Models: A Survey2015 International Conference on Computational Intelligence and Communication Networks (CICN)10.1109/CICN.2015.152(746-750)Online publication date: Dec-2015
https://doi.org/10.1109/CICN.2015.152
Cook CSun YSitaraman M(2015)Experience reportSoftware—Practice & Experience10.1002/spe.225945:6(857-872)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1002/spe.2259
Nautiyal LGupta NDimri S(2014)A Novel Approach to Component-Based Software TestingACM SIGSOFT Software Engineering Notes10.1145/2674632.267464039:6(1-4)Online publication date: 9-Dec-2014
https://dl.acm.org/doi/10.1145/2674632.2674640
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Component-based software engineering

Software release management for component-based software

Software Component Models

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations