Search results for "behavioural aspects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Robert P. Biuk-Aghai	Visualizing Structural and Behavioural Aspects of Virtual Collaboration. (PDF / PS)	WETICE	2001	DBLP DOI BibTeX RDF	ontology, Visualization, measures, awareness, software agents, collaborative virtual environments, virtual work
2	Monique Snoeck, Geert Poels	Analogical Reuse of Structural and Behavioral Aspects of Event-Based Object-Oriented Domain Models. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	analogical reuse, structural aspects, behavioural aspects, event-based object-oriented domain models, generic domain model, domain abstraction, hotel administration, car rental company, object life-cycle specification reuse, formal specification, library, object allocation
2	G. Michael McGrath	A Process Modelling Framework: Capturing Key Aspects of Organizational Behavior.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	software process modelling framework, organisational behaviour capture, organisation management, social science literature, formal modelling approaches, evaluation environments, persistent process models, software engineering process modelling framework, behavioural aspects, highly abstracted conceptual model, systems dynamics modelling tool, human factors, Prolog, rapid prototyping, systems analysis, modelling formalisms, user views
2	Alexander Schill, B. Bellmann, Wito Böhmak, Sascha Kümmel	Infrastructure support for cooperative mobile environments. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	cooperative mobile environments, infrastructure support, distributed mobile computing, software support architecture, station software infrastructure, resource access management, dynamic mobile environments, behavioural aspects, OSF Distributed Computing Environment, Microsoft RPC, distributed systems, mobile computing, wireless LAN, operating systems (computers), network operating systems, remote procedure calls, remote procedure call, communication infrastructure
1	Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane	A Model Driven Approach to the Analysis of Timeliness Properties.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
1	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock	A UTP semantics for Circus.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Concurrency, Theorem proving, Relational model, Refinement calculus
1	Mohsen Rouached, Claude Godart	A run-time service discovery process for web services compositions.	ICEC	2008	DBLP DOI BibTeX RDF	composition engineering, run-time discovery, monitoring, web service composition
1	Soheila Bashardoust-Tajali, Jean-Pierre Corriveau	On Extracting Tests from a Testable Model in the Context of Domain Engineering.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda	Contract-Based Approach to Analyze Software Components.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira	Tool Support for the CircusRefinement Calculus.	ABZ	2008	DBLP DOI BibTeX RDF
1	Alexei Sharpanskykh	Modelling and Automated Analysis of Organisations from the Air Traffic Management Domain.	IEA/AIE	2008	DBLP DOI BibTeX RDF
1	Gilbert Arbez, Louis G. Birta	ABCmod: a conceptual modelling framework for discrete event dynamic systems.	SCSC	2007	DBLP DOI BibTeX RDF	discrete event world views, conceptual modelling, discrete event simulation
1	Lukas Pustina, Simon Schwarzer, Michael Gerharz, Peter Martini, Volker Deichmann	Performance evaluation of a DVB-H enabled mobile device system model.	WOSP	2007	DBLP DOI BibTeX RDF	performance evaluation, UML, queueing networks
1	Juliana Küster Filipe Bowles, Behzad Bordbar	A Formal Model for Integrating Multiple Views.	ACSD	2007	DBLP DOI BibTeX RDF
1	Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor	Component-Interaction Automata Approach (CoIn).	CoCoME	2007	DBLP DOI BibTeX RDF
1	Jörg Preuß, Steven Furnell, Maria Papadaki	Considering the potential of criminal profiling to combat hacking.	Journal in Computer Virology	2007	DBLP DOI BibTeX RDF
1	Abdelwahab Hamou-Lhadj, Timothy Lethbridge	Summarizing the Content of Large Traces to Facilitate the Understanding of the Behaviour of a Software System.	ICPC	2006	DBLP DOI BibTeX RDF	Reverse engineering, Program comprehension, Dynamic analysis, Design recovery
1	Wim H. Hesselink	Refinement verification of the lazy caching algorithm.	Acta Inf.	2006	DBLP DOI BibTeX RDF
1	Salima Hassas	Engineering Complex Adaptive Systems Using Situated Multi-agents.	ESAW	2005	DBLP DOI BibTeX RDF	Situated Multi-Agents, Retroactive Interactions, Complex Systems, Self-organisation, Non Linearity
1	Ana Cavalcanti, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
1	Alexander Knapp, Nora Koch, Gefei Zhang	Modelling the Behaviour of Web Applications with ArgoUWE.	ICWE	2005	DBLP DOI BibTeX RDF
1	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock	Formal development of industrial-scale systems in Circus.	ISSE	2005	DBLP DOI BibTeX RDF	Concurrency, Object-orientation, Refinement, Program development
1	Peter Gammie, Ron van der Meyden	MCK: Model Checking the Logic of Knowledge.	CAV	2004	DBLP DOI BibTeX RDF
1	Gwen Salaün, Andrea Ferrara, Antonella Chirichiello	Negotiation Among Web Services Using LOTOS/CADP.	ECOWS	2004	DBLP DOI BibTeX RDF	CADP, Web Services, Formal Methods, Negotiation, BPEL, LOTOS
1	Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón	A Sociological Framework for Multi-agent Systems Validation and Verification.	ER (Workshops)	2004	DBLP DOI BibTeX RDF	Multi-Agent Systems Development, Activity Checklist, Requirements Elicitation, Activity Theory
1	Oguz Icoglu, Klaus A. Brunner, Ardeshir Mahdavi, Georg Suter	A Distributed Location Sensing Platform for Dynamic Building Models.	EUSAI	2004	DBLP DOI BibTeX RDF
1	Ferdinand Wagner, Peter Wolstenholme	Modeling and Building Reliable, Re-Useable Software.	ECBS	2003	DBLP DOI BibTeX RDF
1	Pablo Rossi, George Fernandez	Definition and Validation of Design Metrics for Distributed Applications.	IEEE METRICS	2003	DBLP DOI BibTeX RDF	design measures, formal validation, distributed software
1	Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch	The UML 2.0 Testing Profile and Its Relation to TTCN-3.	TestCom	2003	DBLP DOI BibTeX RDF
1	Aparna Gupta, Walter Murray	How to Spend and Invest Retirement Savings.	Annals OR	2003	DBLP DOI BibTeX RDF
1	Wing Lok Yeung, Steve Schneider	Design and Verification of Distributed Recovery Blocks with CSP.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	distributed recovery block scheme, timewise refinement, fault-tolerance, real-time systems, CSP, formal specification and verification
1	Javier Morales, Luís Ferreira Pires, Marten van Sinderen	Model Driven Geo-Information System's Development. (PDF / PS)	EDOC	2002	DBLP DOI BibTeX RDF
1	Jim Woodcock, Ana Cavalcanti	The Steam Boiler in a Unified Theory of Z and CSP.	APSEC	2001	DBLP DOI BibTeX RDF
1	Stephen W. Neal, Peter F. Linington	Tool Support for Development Using Patterns. (PDF / PS)	EDOC	2001	DBLP DOI BibTeX RDF
1	Stephan Philippi	Modeling and Inheritance of Behaviour in Object-Oriented Systems. (PDF / PS)	IV	2001	DBLP DOI BibTeX RDF
1	Shin Nakajima, Tetsuo Tamai	Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture.	SPIN	2001	DBLP DOI BibTeX RDF
1	B. Riera	Specifications, Design and Evaluation of an Advanced Human-Adapted Supervisory System.	Cognition, Technology & Work	2001	DBLP DOI BibTeX RDF	Dynamic reference model, Ecological interfaces, FDI (fault detection and isolation), Supervisory systems
1	G. Michael McGrath	Behavioral Issues in Software Engineering Process Modeling: A Multi-Paradigm Approach. (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
1	A. J. M. M. Weijters, Antal van den Bosch, H. Jaap van den Herik	Behavioural Aspects of Combining Backpropagation Learning and Self-organizing Maps.	Connect. Sci.	1997	DBLP DOI BibTeX RDF
1	Michel R. V. Chaudron, Arno C. N. van Duin	A Method for the Design of Parallel Algorithms A Case Study: Solving Triangular Systems.	HICSS	1997	DBLP DOI BibTeX RDF
1	Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti	Dynamic Modelling with Events	CAiSE	1994	DBLP DOI BibTeX RDF
1	Christiaan Thieme, Arno Siebes	An Approach to Schema Integratioin Based on Transformations and Behaviour	CAiSE	1994	DBLP DOI BibTeX RDF
1	Thorsten Hartmann, Ralf Jungclaus, Gunter Saake	Animation Support for a Conceptual Modelling Language.	DEXA	1993	DBLP DOI BibTeX RDF
1	Geert-Jan Houben, Peter A. C. Verkoulen	An Integrated Approach to Modelling Structural and Behavioural Aspects of Complex Objects.	FMLDO	1991	DBLP BibTeX RDF
1	P. S. Thiagarajan	Some Behavioural Aspects of Net Theory.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
1	A. M. Whiteley, E. Jordan	Behavioural aspects of introducing change in information systems.	Australian Computer Journal	1990	DBLP BibTeX RDF
1	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
1	P. S. Thiagarajan	Some Behavioural Aspects of Net Theory.	ICALP	1988	DBLP DOI BibTeX RDF
1	José Luiz Fiadeiro, Amílcar Sernadas	Behavioural Aspects of Intelligent Knowledge-Based Information Systems.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
1	Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof	Hierarchical Design Based on a Calculus of Nets.	DAC	1987	DBLP DOI BibTeX RDF