NDLI: Harmonizing intra- and inter-object specification and verification:a multi-object logics approach

Please wait, while we are loading the content...

Volume 30, Issue 6, November 2005

Volume 30, Issue 5, September 2005

Volume 30, Issue 4, July 2005

Evaluation of various training algorithms in a neural network model for software engineering applications

Workshop on the Modeling and Analysis of Concerns in Software (MACS 2005)

Goals for software engineering student education

Surfing the net for software engineering notes

Risks to the public

The advanced mobile application testing environment

Principal agent theory and its application to analyze outsourcing of software development

A model for software plans

Managing change in an OTS-aware requirements engineering approach

Recovering system specific rules from software repositories

Accumulation and presentation of empirical evidence

Experience of introducing reference architectures in the development of automotive electronic systems

Agent-oriented methodologies

End-user tools for grid computing

Raging incrementalism

Towards predictor models for large libre software projects

Scenarios, state machines and purpose-driven testing

Towards software architecture-based regression testing

Supporting distributed software design meetings

Using iDAVE to determine availability requirements

Event-based runtime verification of java programs

Review of "Software Endgames: Eliminating Defects, Controlling Change, and the Countdown to On-Time Delivery by Robert Galen", Dorset House, ISBN: 0-932633-62-5, 2005

Frontmatter (TOC, Letters, Election results, Software Reliability Resources!, Computing Curricula 2004 and the Software Engineering Volume SE2004, Software Reuse Research, ICSE 2005 Forward)

A framework for dynamic software architecture-based self-healing

2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems

Software Engineering Education (SEEd)

Building component families to support adaptation

Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system

A tentative framework for connecting long-term business and product planning with iterative & incremental software product development

An approach to aspect refactoring based on crosscutting concern types

Decision support for customization of the COTS selection process

Software repository mining with Marmoset

Combining software evidence

Overview of existing safeguarding techniques for automatically generated code

A product-line requirements approach to safe reuse in multi-agent systems

An effective testing method for end-user programmers

Learning/organizing in Linux

Longitudinal analysis of long-timescale open source repository data

Story driven testing - SDT

Leveraging architectural models to inject trust into software systems

Sensitivity analysis for a scenario-based reliability prediction model

Personality characteristics in an XP team

Dealing with imprecise quality factors in software design

Measuring precision for static and dynamic design pattern recognition as a function of coverage

Review of "Systems Modeling & Requirements Specification Using ECSAM: An Analysis Method for Embedded and Computer-Based Systems by Jonah Z. Lavi and Joseph Kudish", Dorset House Publishing Co. Inc., 2005, ISBN 0-932633-45-5

Why teach reverse engineering?

Human and social factors of software engineering

In praise of SE Geeks

Dealing with failures during failure recovery of distributed systems

Requirements traceability in automated test generation

A value-oriented theory of modularity in design

Just-in-time concern modeling

Towards a reference framework for COTS-based development

Linear predictive coding and cepstrum coefficients for mining time variant information from software repositories

Realising evidence-based software engineering

Automotive use case standard for embedded systems

Market forces and end-user programming for mission-critical systems

Why profit-oriented companies enter the OS field?

Baselines in requirements tracing

Eliciting requirements and scenarios using the SCTL-MUS methodology

Improving system dependability by enforcing architectural intent

HCI pattern semantics in XML

A real time measure of software system families

Analyzing clusters of web application user sessions

Review of "Agile Modeling: Effective Practice for eXtreme Programming and the Unified Process by Scott W. Ambler", John Wiley & Sons, Inc, 2002, 0-471-20282-7

All we really need to know about software engineering is in the film office space

ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005)

Project management

Connector-based self-healing mechanism for components of a reliable system

The effect of code coverage on fault detection under different testing profiles

A risk based economical approach for evaluating software project portfolios

Mapping concern space to software architecture

Understanding solution architecture concerns

Developer identification methods for integrated data from various sources

Evidence-based practice in human-computer interaction and evidence maps

A flexible integration strategy for in-car telematics systems

Old issues, new eyes

Open source software reliability model

Nearest neighbor sampling for better defect prediction

From scenarios to aspects

Enabling control over adaptive program transformation for dynamically evolving mobile software validation

A framework for analyzing exception flow in software architectures

The challenges in creating tools for improving the software development lifecycle

Software quality economics for defect-detection techniques using failure prediction

Dynamic analysis of java applications for multithreaded antipatterns

Sensitivity analysis of fuzzy and neural network models

Software engineering for secure systems

Towards autonomic web services

Test prioritization for pairwise interaction coverage

Determining how much software assurance is enough?

Concern modeling in the concern manipulation environment

Tool support for optimization-based architectural evaluation

Accelerating cross-project knowledge collaboration using collaborative filtering and social networks

On establishing the essential components of a technology-dependent framework

Business situation reflected in automotive electronic architectures

Multiagent systems engineering of organization-based multiagent systems

Evaluating the costs and benefits of end-user development

Investigating quality in large-scale Open Source Software

An analysis of data sets used to train and validate cost prediction systems

Harmonizing intra- and inter-object specification and verification

Articulating and enforcing authorisation policies with UML and OCL

Architectural support for mode-driven fault tolerance in distributed applications

Functional group roles in software engineering teams

Improving quality through software process improvement in Thailand

Combining static analysis and runtime monitoring to counter SQL-injection attacks

Software engineering research versus software development

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005

Architectural design of a distributed application with autonomic quality requirements

Using information about functions in selecting test cases

A value-based approach to predicting system properties from design

Separation of concerns for evolving systems

A COTS architectural component specification stencil for selection and reasoning

Collaboration using OSSmole

A design for evidence - based soft research

Modeling nonfunctional requirements

A case for adaptation of the distributed environment layout in multiagent applications

How to communicate unit error messages in spreadsheets

Observations on patterns of development in open source software projects

Simple software cost analysis

Reconciling scenario-centered controller design with state-based system models

Establishing trustworthiness in services of the critical infrastructure through certification and accreditation

An architectural pattern for non-functional dependability requirements

Co-Operative Method Development revisited

An empirical assessment of using stereotypes to improve reading techniques in software inspections

Efficient static analysis with path pruning using coverage data

Deeper questions

ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005)

From product lines to self-managed systems

Usage model-based automated testing of C++ templates

Current practices and research opportunities in software business models

Using language clues to discover crosscutting concerns

Towards a knowledge-based framework for COTS component identification

Understanding source code evolution using abstract syntax tree matching

The type of evidence produced by empirical software engineers

Real-time component integration based on transparent distribution

Adaptive replication of large-scale multi-agent systems

Six challenges in supporting end-user debugging

Adaptive reuse of libre software systems for supporting on-line collaboration

An investigation of the effect of module size on defect prediction using static measures

A framework for testing security mechanisms for program-based attacks

A UAU test and development environment based on dynamic system reconfiguration

Customer relationships and Extreme Programming

Merging traces of hardware-assisted data breakpoints

Autonomic computing

A simulation model of a multi-server EJB system

On the economics of requirements-based test case prioritization

Concern patterns and analysis

Barriers to disseminating off-the-shelf based development theories to IT industry

Error detection by refactoring reconstruction

Software engineering practice versus evidence-based software engineering research

Towards verified automotive software

A layered architecture for real-time distributed multi-agent systems

Heuristics for the automatic identification of irregularities in spreadsheets

Impact of libre software tools and methods in the robotics field

Feature subset selection can improve software cost estimation accuracy

A software flaw taxonomy

Failure modelling in software architecture design for safety

Some social factors of software engineering

Quality, cleanroom and formal methods

Refactoring gcc using structure field access traces and concept analysis

An approach to implementing dynamic adaptation in C++

An integrated method for designing user interfaces based on tests

On using Net Options Value as a value based design framework

Separation of concerns in software product line engineering

Method engineering and COTS evaluation

Source code that talks

Issues in performance certification for high-level automotive control software

From requirements to multi-agent architecture using organisational concepts

Fault patterns in Matlab

F/OSS in the library world

Matching attack patterns to security vulnerabilities in software-intensive system designs

Representing design tradeoffs in safety-critical systems

Coordination in software development

Value-based quality processes and results

Dynamic detection and visualization of software phases

Hierarchical model-based autonomic control of software systems

Modeling requirements for combinatorial software testing

Staffing a software project

An exploration of how comments are used for marking related code fragments

A process for identifying changes when source code is not available

Improving evolvability through refactoring

Analysis and design of physical and social contexts in multi-agent systems using UML

Two principles of end-user software engineering research

Open source software maintenance process framework

Security quality requirements engineering (SQUARE) methodology

Availability simulation of peer-to-peer architectural styles

Effects of agile practices on social factors

QFD application in software process management and improvement based on CMM

An exploration of statistical models for automated test case generation

A software architecture approach for structuring autonomic systems

Generating optimal distinguishing sequences with a model checker

Business process-based valuation of IT-security

Concern management for constructing model compilers

Repository mining and Six Sigma for process improvement

Software engineering for large-scale multi-agent systems - SELMAS'05

The EUSES spreadsheet corpus

OSS tools in a heterogeneous environment for embedded systems modelling

Towards an architectural treatment of software security

Specifying adaptation semantics

A communication architecture from rapid prototyping

Early estimation of software quality using in-process testing metrics

Selective capture and replay of program executions

Dynamic integration of heterogeneous mobile devices

Early estimation of defect density using an in-process Haskell metrics model

Developing a theory of value-based software engineering

Locating crosscutting concerns in the formal specification of distributed reactive systems

Synthesis of a generic MAS metamodel

Human factors affecting dependability in end-user programming

The need for effort estimation models for open source software projects

Requirements traceability to support evolution of access control

Architectural runtime configuration management in support of dependable self-adaptive software

A qualitative empirical evaluation of design decisions

Software quality development and assurance in RUP, MSF and XP

The C-Cube framework

Distributed performance testing using statistical modeling

Anticipatory configuration of resource-aware applications

Separating architectural concerns to ease program understanding

Using a clone genealogy extractor for understanding and supporting evolution of code clones

Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs

Naming page elements in end-user web automation

The use of open source software platforms by Independent Software Vendors

Using dynamic information flow analysis to detect attacks against applications

Computing optimal self-repair actions

The effect of human memory organization on code reviews under different single and pair code reviewing scenarios

Retrofitting networked applications to add autonomic reconfiguration

Modeling for image processing system validation, verification and testing

Metrics for software system families

Pattern transformation for two-dimensional separation of concerns

Mining student CVS repositories for performance indicators

Policy-driven configuration and management of agent based distributed systems

An approach for categorizing end user programmers to guide software engineering research

Cultural patterns in software process mishaps

Environment behavior models for scenario generation and testing automation

A model-driven approach to enforce crosscutting assertion checking

Toward mining "concept keywords" from identifiers in large software projects

Law-governed multi-agent systems

A case study of open source tools and practices in a commercial setting

Building security requirements with CLASP

Applying small group theory to analysis and design of CSCW systems

Policies, grids and autonomic computing

Case studies on fault detection effectiveness of model based test generation techniques

Analysis of signature change patterns

Towards a unifying view on security contracts

Predicting acceptance of Software Process Improvement

Interoperability issues affecting autonomic computing

Model-based testing for applications derived from software product lines

Mining version histories to verify the learning process of Legitimate Peripheral Participants

Examining team cohesion as an effect of software engineering methodology

Better performance or better manageability?

Towards a taxonomy of approaches for mining of source code repositories

Managing radical software engineers

Towards requirements-driven autonomic systems design

A framework for describing and understanding mining tools in software development

Transparent shaping of existing software to support pervasive and autonomic computing

Mining evolution data of a product family

Adaptive integration of third-party web services

When do changes induce fixes?

Manipulating managed execution runtimes to support self-healing systems

Text mining for software engineering

Volume 30, Issue 3, May 2005

Volume 30, Issue 2, March 2005

Volume 30, Issue 1, January 2005

Harmonizing intra- and inter-object specification and verification:a multi-object logics approach

Content Provider	ACM Digital Library
Author	Ehrich, Hans-Dieter
Abstract	Object-oriented approaches to designing information systems suggest to distinguish between intra- and inter-object aspects. While intra-object design and verification tools are being used on a large scale, inter-object techniques are not yet well established. There are a variety of approaches addressing the concurrency and communication aspects of multi-object systems, but fundamental problems remain.The TROLL object specification language project aims at providing logic-based formal semantics to intra- and inter-object aspects, among others. For the former, a conventional temporal logic was employed. For the latter, an extension called multi-object logic was developed. It has proven useful for semantics descriptions, recently also for a mobile-agent extension where the innovative contribution was to distinguish between the ever-mobile units and those which provide fixed subsystems as contexts for the mobile entities.While being developed for giving semantics, multi-object logics showed surprising potential for verification. Conventionally, intra-object verification techniques are applied to inter-object verification by building a global state space. This state space, however, grows exponentially with the number of objects in the system. In spite of sophisticated techniques which have been developed to overcome this 'state-space explosion' problem, there is a notorious complexity barrier. It is not feasible to verify large systems this way.In the multi-object logic approach, the construction of the global state space - or any fraction or abstraction thereof - is avoided. So it has the potential to handle large systems. The method is applicable in cases where the objects and interaction patterns in a system are known beforehand, when writing the global conditions to be checked. Although these conditions are bound to objects, they are 'global' in the sense that they may refer to the states of other objects at interaction points.This way, conditions concerning interacting objects may be written in a still basically sequential logic, although multiple objects are assumed to behave concurrently. Global checking conditions may then be automatically and equivalently split into local conditions for the objects involved, plus interaction requirements for these objects. All these conditions and requirements can be checked locally, one after the other, where only the objects involved in the condition have to be taken into account.While we are working on the potential of the approach for software engineering, it may have potential beyond: we are also working on a project to simulate and analyze biological processes using object-oriented techniques. For instance, model checking can be used to find possible scenarios leading to biological cell states of interest. Applying the multi-object approach here is a challenging problem.
Starting Page	1
Ending Page	1
Page Count	1
File Format	PDF
ISSN	01635948
DOI	10.1145/1082983.1083184
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	30
Issue Number	4
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in