Carlo Montangero

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

UML Extensions for Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2009

Detecting policy conflicts by model checking UML state machines.

[BibT_eX]

[DOI]

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Logic-based Conflict Detection for Distributed Policies.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Dynamically Evolvable Dependable Software: From Oxymoron to Reality.

[BibT_eX]

[DOI]

Carlo Ghezzi

Proceedings of the Concurrency, 2008

2007

Barbed Model-Driven Software Development: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

StPowla: SOA, Policies and Workflows.

[BibT_eX]

[DOI]

Stephen Gorton

Proceedings of the Service-Oriented Computing, 2007

Logic-Based Detection of Conflicts in AppelPolicies.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

A Logical View of Choreography.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

2004

For-LySa: UML for Authentication Analysis.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Logic Based Coordination for Event-Driven Self-healing Distributed Systems.

[BibT_eX]

[DOI]

Simone Semprini

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Distributed States Temporal Logic

[BibT_eX]

[DOI]

CoRR, 2003

2002

Mark, a Reasoning Kit for Mobility.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2002

istributed States Logic.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

A UML Profile to Support the Formal Presentation of Software Architecture.

[BibT_eX]

[DOI]

Amjad Hudaib

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2000

Mobile Agents Coordination in Mob<sub><i>adtl</i></sub>.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Managing Standards Compliance.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

A Refinement Calculus for Tuple Spaces.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1999

The Human Dimension of the Software Process.

[BibT_eX]

[DOI]

Proceedings of the Software Process: Principles, Methodology, Technology, 1999

The Software Process: Modelling and Technology.

[BibT_eX]

[DOI]

Proceedings of the Software Process: Principles, Methodology, Technology, 1999

Software Process - Standards, Assessments and Improvement.

[BibT_eX]

[DOI]

Proceedings of the Software Process: Principles, Methodology, Technology, 1999

Composing Specifications for Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1996

Report on the Fifth European Workshop on Software Process Technology.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., December, 1996

Refining by architectural styles or architecting by refinements.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

1995

Compositional Refinements in Multiple Blackboard Systems.

[BibT_eX]

[DOI]

X. J. Chen

Acta Informatica, 1995

In Favour of a Coherent Process Coding Language.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, 4th European Workshop, 1995

Open Issues in the Design of PM Languages.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, 4th European Workshop, 1995

ESP-MC: An Experiment in the Use of Verification Tools.

[BibT_eX]

[DOI]

Xiaojun Chen

Proceedings of the Algorithms, 1995

1994

Software Process Monitoring Mechanisms in Oikos.

[BibT_eX]

[DOI]

Franco Scarselli

Int. J. Softw. Eng. Knowl. Eng., 1994

The "process in the tool syndrome": is it becoming worse?

[BibT_eX]

[DOI]

Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

The Oikos Services for Object Management in the Software Process.

[BibT_eX]

[DOI]

Giovanni A. Cignoni

Proceedings of the Software Process Technology, Third European Workshop, 1994

1993

Modeling the Software Development Process.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993

1992

OIKOS at the Age of Three.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, Second European Workshop, 1992

1991

Hierarchical specification of software processes in Oikos.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

1990

Software process enactment in Oikos.

[BibT_eX]

[DOI]

Paolo Ciancarini

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

The Logic Language ESP and its Programming Environment.

[BibT_eX]

Paolo Ciancarini

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

Software processes as a hierarchy.

[BibT_eX]

[DOI]

Paolo Ciancarini

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989

Is Type Checking Practical for System Configuration?

[BibT_eX]

[DOI]

Simone Martini

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1985

Automatic generation of execution tools in a GANDALF environment.

[BibT_eX]

[DOI]

J. Syst. Softw., 1985

The use of Ada in the design of distributed systems.

[BibT_eX]

[DOI]

Franco Mazzanti

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1978

Information Management in Context Trees.

[BibT_eX]

[DOI]

Acta Informatica, 1978

1977

Two-Level Control Structure for Nondeterministic Programming.

[BibT_eX]

[DOI]

Commun. ACM, 1977

1976

A High Level Machine for Artificial Intelligence.

[BibT_eX]

[DOI]

Giuseppe Attardi

Gianfranco Prini

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976

1975

MAGMA-LISP: A "Machine Language" For Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1974

A model for structured parallel processing in block-structured programming languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Symposium, 1974

Graph Representation and Computation Rules for Typeless Recursive Languages.

[BibT_eX]

[DOI]