Design fragments make using frameworks easier

Fairbanks, George; Garlan, David; Scherlis, William L.

doi:10.1145/1167473.1167480

Cited by 38 publications

(17 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Such a framework comprises a set of classes that refine an architectural model into platformspecific code that developers extend by subclassing. The ILParser is parameterized by (1) platform-specific code usage patterns documented as design fragments [16], and (2) binding elements that relate fragments to elements of the IIM. No custom coding (beyond provision of code-level design fragments) is required.…”

Section: Ilparsermentioning

confidence: 99%

“…Second, the ILParser maps platform-specific implementation model elements to code based in part on our variant of the design fragments method [16] that Fairbanks et al developed to capture platform usage patterns. A design fragment specifies how an application uses a platform to achieve some goal.…”

Section: Ilparsermentioning

confidence: 99%

“…The cost of using platforms can be high [16,18,21]. Model-driven engineering (MDE) promises to help [31], by transforming abstract models into platform-specific code.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Pol

Bagheri

Sullivan

2012

Proceedings of the 11th International Conference on Generative Programming and Component Engineering

View full text Add to dashboard Cite

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but transformation systems are themselves hard to produce. We contribute a new approach using constraint-based synthesis of partial code frameworks that developers complete by hand without the need for hand-coded transformation systems. Rather, synthesis is driven by formal, partial specifications of target platforms and application architectures, and by design (code) fragments encoding application-specific platform usage patterns. We present results of an early evaluation using the case study method to test hypotheses of feasibility and potential industrial utility, using a laboratory model of a nationwide health information network as a subject system.

show abstract

Section: Ilparsermentioning

confidence: 99%

Section: Ilparsermentioning

confidence: 99%

See 1 more Smart Citation

Pol

Bagheri

Sullivan

2012

Proceedings of the 11th International Conference on Generative Programming and Component Engineering

View full text Add to dashboard Cite

show abstract

“…The literature shows that programmers often create new functionality by finding an example online or in a source repository [13,16,20] -less code is created tabula rasa than might be imagined. Recent research has begun to more fully embrace this style of development.…”

Section: Finding and Appropriating Documentation And Codementioning

confidence: 99%

Programming by a sample

Hartmann

Collins

et al. 2007

Proceedings of the 20th Annual ACM Symposium on User Interface Software and Technology

View full text Add to dashboard Cite

Source-code examples of APIs enable developers to quickly gain a gestalt understanding of a library's functionality, and they support organically creating applications by incrementally modifying a functional starting point. As an increasing number of web sites provide APIs, significant latent value lies in connecting the complementary representations between site and service -in essence, enabling sites themselves to be the example corpus. We introduce d.mix, a tool for creating web mashups that leverages this site-to-service correspondence. With d.mix, users browse annotated web sites and select elements to sample. d.mix's sampling mechanism generates the underlying service calls that yield those elements. This code can be edited, executed, and shared in d.mix's wiki-based hosting environment. This sampling approach leverages pre-existing web sites as example sets and supports fluid composition and modification of examples. An initial study with eight participants found d.mix to enable rapid experimentation, and suggested avenues for improving its annotation mechanism.

show abstract

“…There have been several academic attempts to automate structural conformance checking [2], [3], [4], [5]. The state-of-the-practice, however, consists in manually inspecting the code [6], [7], which is error-prone and does not scale as software grows.…”

Section: Introductionmentioning

confidence: 99%

Structural conformance checking with design tests: An evaluation of usability and calability

Brunet¹,

Serey²,

Figueiredo³

2011

2011 27th IEEE International Conference on Software Maintenance (ICSM)

View full text Add to dashboard Cite

Verifying whether a software meets its functional requirements plays an important role in software development. However, this activity is necessary, but not sufficient to assure software quality. It is also important to check whether the code meets its design specification. Although there exists substantial tool support to assure that a software does what it is supposed to do, verifying whether it conforms to its design remains as an almost completely manual activity. In a previous work, we proposed design tests -test-like programs that automatically check implementations against design rules. Design test is an application of the concept of test to design conformance checking. To support design tests for Java projects, we developed DesignWizard, an API that allows developers to write and execute design tests using the popular JUnit testing framework. In this work, we present a study on the usability and scalability of DesignWizard to support structural conformance checking through design tests. We conducted a qualitative usability evaluation of DesignWizard using the Think Aloud Protocol for APIs. In the experiment, we challenged eleven developers to compose design tests for an open-source software project. We observed that the API meets most developers' expectations and that they had no difficulties to code design rules as design tests. To assess its scalability, we evaluated DesignWizard's use of CPU time and memory consumption. The study indicates that both are linear functions of the size of software under verification. Keywords-978-1-4577-0664-6/11/$26.00 ©2011 IEEE

show abstract

Design fragments make using frameworks easier

Cited by 38 publications

References 14 publications

Pol

Pol

Programming by a sample

Structural conformance checking with design tests: An evaluation of usability and calability

Contact Info

Product

Resources

About