Search Results - Programming Techniques—Object-oriented Programming

Object-Capability Security in Virtual Environments by Scheffler, Martin, Springer, Jan P., Froehlich, Bernd

“…Access control is an important aspect of shared virtual environments. Resource access may not only depend on prior authorization, but also on context of usage…”
Get full text

Polymorphism and multiple inheritance are key to object-oriented techniques (object-oriented programming)

Get full text

Combining iterative analytical reasoning and software development using the visualization language Processing by Muller-Birn, C., Birn, L.

“… Artists, designers and architects use it but it is also a very effective programming language in the area of visual analytics…”
Get full text

The road to live programming: insights from the practice by Kubelka, Juraj, Robbes, Romain, Bergel, Alexandre

“…Live Programming environments allow programmers to get feedback instantly while changing software…”
Get full text

Fundamentals of Programming for Science and Engineering by Maxville, Valerie

“…It is common for science and engineering courses to include one computing unit, usually in first year. In a newly-developed first-year unit, we have combined…”
Get full text

Towards Automatic Assessment of Object-Oriented Programs by Ardimento, Pasquale, Luca Bernardi, Mario, Cimitile, Marta

“…The computing education community has shown a long-time interest in how to analyze the Object-Oriented (OO) source code developed by students to provide them…”
Get full text

Integrating software engineering key practices into an OOP massive in-classroom course: an experience report by Torchiano, Marco, Bruno, Giorgio

“…Programming and software engineering courses in computer science curricula typically focus on both providing theoretical knowledge of programming languages and best-practices, and developing practical development skills…”
Get full text

Monitoring in adaptive systems using reflection by Dawson, Dylan, Desmarais, Ron, Kienle, Holger M, Muller, Hausi A

“…Continuous evolution is a key trait of software-intensive systems. Many research projects investigate mechanisms to adapt software systems effectively in order…”
Get full text

Theme: An Approach for Aspect-Oriented Analysis and Design by Baniassad, Elisa, Clarke, Siobhan

“…Aspects are behaviours that are tangled and scatteredacross a system. In requirements documentation, aspectsmanifest themselves as descriptions of behaviours…”
Get full text

Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model by Cervantes, Humberto, Hall, Richard S.

“…This paper describes a project, called Gravity, that defines a component model, where components provide and require services (i.e., functionality) and all…”
Get full text

Efficient Formalism-Independent Monitoring of Parametric Properties by Feng Chen, O'Neil Meredith, P., Dongyun Jin, Rosu, G.

“…Parametric properties provide an effective and natural means to describe object-oriented system behaviors, where the parameters are typed by classes and bound…”
Get full text

Integration of UML modeling and policy-driven management of Web service systems by Suleiman, Basem, Tosic, Vladimir

“…We address the problems that Web service management policies are not defined during Web service design and that management information collected during…”
Get full text

Regression Test Selection for AspectJ Software by Guoqing Xu, Rountev, A.

“…As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented…”
Get full text

Precise Modeling of Design Patterns in UML by Mak, Jeffrey K. H., Choy, Clifford S. T., Lun, Daniel P. K.

“…Prior research attempts to formalize the structure ofobject-oriented design patterns for a more precisespecification of design patterns. It also allows…”
Get full text

GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions by Wohlstadter, Eric, Tai, Stefan, Mikalsen, Thomas, Rouvellou, Isabelle, Devanbu, Premkumar

“…A holy grail of component-based software engineeringis "write-once, reuse everywhere". However, inmodern distributed, component-based systems…”
Get full text

Assume-Guarantee Verification of Source Code with Design-Level Assumptions by Giannakopoulou, Dimitra, Pasareanu, Corina S., Cobleigh, Jamieson M.

“…Model checking is an automated technique that can beused to determine whether a system satisfies certain requiredproperties. To address the "state explosion"…”
Get full text

Responsibilities and Rewards: Specifying Design Patterns by Soundarajan, Neelam, Hallstrom, Jason O.

“…Design patterns provide guidance to system designers onhow to structure individual classes or groups of classes, aswell as constraints on the interactions…”
Get full text

Skoll: Distributed Continuous Quality Assurance by Memon, A., Porter, A., Yilmaz, C., Nagarajan, A., Schmidt, D., Natarajan, B.

“…Quality assurance (QA) tasks, such as testing, profiling,and performance evaluation, have historically been donein-house on developer-generated workloads and…”
Get full text

Role-based exploration of object-oriented programs by Demsky, Brian, Rinard, Martin

“…We present a new technique for helping developers understand heap properties of object-oriented programs and how the actions of the program affect these…”
Get full text

On the Rules for Inheritance in LML by Lange, Arne, Atkinson, Colin

“…Although classification relationships play the dominant role in structuring multi-level models, inheritance relationships, which are restricted to clabjects at…”
Get full text