Suchergebnisse - Programming Techniques—Object-oriented Programming*

Object-Capability Security in Virtual Environments von 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 …”
Volltext

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

Volltext

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

“… Live Programming environments allow programmers to get feedback instantly while changing software …”
Volltext

Combining iterative analytical reasoning and software development using the visualization language Processing von 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 …”
Volltext

Fundamentals of Programming for Science and Engineering von 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 …”
Volltext

Towards Automatic Assessment of Object-Oriented Programs von 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 …”
Volltext

Integrating software engineering key practices into an OOP massive in-classroom course: an experience report von 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 …”
Volltext

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

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

Monitoring in adaptive systems using reflection von 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 …”
Volltext

Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model von 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 …”
Volltext

Efficient Formalism-Independent Monitoring of Parametric Properties von 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 …”
Volltext

Integration of UML modeling and policy-driven management of Web service systems von 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 …”
Volltext

Regression Test Selection for AspectJ Software von 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 …”
Volltext

Precise Modeling of Design Patterns in UML von 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 …”
Volltext

GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions von 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 …”
Volltext

Assume-Guarantee Verification of Source Code with Design-Level Assumptions von 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" …”
Volltext

Skoll: Distributed Continuous Quality Assurance von 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 …”
Volltext

Role-based exploration of object-oriented programs von 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 …”
Volltext

Responsibilities and Rewards: Specifying Design Patterns von 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 …”
Volltext

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

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