Article

Free access

Enforcing architecture constraints

Author:

ISAW '96: Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops

October 1996

Pages 80 - 82

https://doi.org/10.1145/243327.243611

Published: 14 October 1996 Publication History

PDF eReader

Reference

[1]

Goldman, Neil aad Narayaoaswamy, K. (1992) "Software Evolution through Iterative Prototyping" Proceedings of the 14"' International Conference on Software Engineering, Melbourne, Australia, May 1992.

Digital Library

Google Scholar

Cited By

View all

Tsandilas T(2018)Fallacies of AgreementACM Transactions on Computer-Human Interaction10.1145/318216825:3(1-49)Online publication date: 28-Jun-2018
https://dl.acm.org/doi/10.1145/3182168
Ain APal DDasgupta PMukhopadhyay SMukhopadhyay RGough J(2011)ChassisACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197036716:3(1-30)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970367
Stitt GVahid F(2011)Thread WarpingACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197036516:3(1-21)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970365
Show More Cited By

Index Terms

Enforcing architecture constraints
1. Software and its engineering
  1. Software creation and management
    1. Designing software
  2. Software notations and tools
    1. System description languages
      1. Specification languages

Recommendations

On tree-preserving constraints

The study of tractable subclasses of constraint satisfaction problems is a central topic in constraint solving. Tree convex constraints are extensions of the well-known row convex constraints. Just like the latter, every path-consistent tree convex ...
Read More
Enforcing cardinality constraints in the ER model with integrity methods
Advanced topics in database research vol. 1

Entity-Relationship (ER) schemas include cardinality constraints that restrict the dependencies among entities within a relationship type. The cardinality constraints have direct impact on application transactions, since insertions or deletions of ...
Read More
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

A table constraint is explicitly represented as its set of solutions or non-solutions. This ad hoc (or extensional) representation may require space exponential to the arity of the constraint, making enforcing GAC expensive. In this paper, we address ...
Read More

Comments

Information & Contributors

Information

Published In

October 1996

297 pages

ISBN:0897918673

DOI:10.1145/243327

Editors:
Alexander L. Wolf
Univ. of Colorado, Boulder
,
Anthony Finkelsteiin
City Univ., London, UK
,
George Spanoudakis
City Univ., London, UK
,
Laura Vidal

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOFT96

Sponsor:

SIGSOFT

SOFT96: SIGSOFT '96

October 16 - 18, 1996

California, San Francisco, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
202
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)3

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tsandilas T(2018)Fallacies of AgreementACM Transactions on Computer-Human Interaction10.1145/318216825:3(1-49)Online publication date: 28-Jun-2018
https://dl.acm.org/doi/10.1145/3182168
Ain APal DDasgupta PMukhopadhyay SMukhopadhyay RGough J(2011)ChassisACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197036716:3(1-30)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970367
Stitt GVahid F(2011)Thread WarpingACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197036516:3(1-21)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970365
Bondade RMa D(2011)Hardware-Software Codesign of an Embedded Multiple-Supply Power Management Unit for Multicore SoCs Using an Adaptive Global/Local Power Allocation and Processing SchemeACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197036416:3(1-27)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970364
Chatterjee DDeorio ABertacco V(2011)Gate-Level Simulation with GPU ComputingACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197036316:3(1-26)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970363
Zeng ZFeng ZLi PSarin V(2011)Locality-Driven Parallel Static Analysis for Power Delivery NetworksACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197036116:3(1-17)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970361
Liu YHu J(2011)GPU-Based Parallelization for Fast Circuit OptimizationACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197035716:3(1-14)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970357
Ludwin ABetz V(2011)Efficient and Deterministic Parallel Placement for FPGAsACM Transactions on Design Automation of Electronic Systems10.1145/1970353.197035516:3(1-23)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1145/1970353.1970355
Buettner MWetherall D(2010)A "Gen 2" RFID monitor based on the USRPACM SIGCOMM Computer Communication Review10.1145/1823844.182385040:3(41-47)Online publication date: 22-Jun-2010
https://dl.acm.org/doi/10.1145/1823844.1823850
Yin ZCaesar MZhou Y(2010)Towards understanding bugs in open source router softwareACM SIGCOMM Computer Communication Review10.1145/1823844.182384940:3(34-40)Online publication date: 22-Jun-2010
https://dl.acm.org/doi/10.1145/1823844.1823849
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations

On tree-preserving constraints

Enforcing cardinality constraints in the ER model with integrity methods

An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints