Checking semantic usage of frameworks

@inproceedings{Jaspan2007CheckingSU,
  title={Checking semantic usage of frameworks},
  author={Ciera Jaspan and Jonathan Aldrich},
  booktitle={LCSD '07},
  year={2007}
}
Software frameworks are difficult for plugin developers to use, even when they are well designed and documented. Some of these difficulties stem from the many constraints that frameworks impose on plugin code. These constraints might restrict operations from being called on certain objects, or they might restrict how long an object is available. Additionally, the constraints are relative to the current context of the plugin, and they can involve multiple, interacting framework objects. This… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Using SCL to specify and check design intent in source code

  • IEEE Transactions on Software Engineering
  • 2006
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Parametric shape analysis via 3-valued logic

  • ACM Trans. Program. Lang. Syst.
  • 2002
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…