Search results for "software modelling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Daniel Jackson	Alloy: A New Technology for Software Modelling.	TACAS	2002	DBLP DOI BibTeX RDF
1	Alois Mayr, Reinhold Plösch, Matthias Saft	Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3.	ECBS	2011	DBLP DOI BibTeX RDF	software safety standard, measure, quality model, operationalization, IEC 61508
1	Michel R. V. Chaudron, Marcela Genero, Silvia Abrahão, Parastoo Mohagheghi, Lars Pareto	Summary of the First International Workshop on Experiences and Empirical Studies in Software Modelling.	MoDELS Workshops	2011	DBLP DOI BibTeX RDF
1	Michel R. V. Chaudron, Marcela Genero, Silvia Abrahão, Parastoo Mohagheghi, Lars Pareto (eds.)	Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, Wellington, New Zealand, October 17, 2011	EESSMod	2011	DBLP BibTeX RDF
1	Stefan Zugal, Jakob Pinggera, Barbara Weber, Jan Mendling, Hajo A. Reijers	Assessing the Impact of Hierarchy on Model - A Cognitive Perspective.	EESSMod	2011	DBLP BibTeX RDF
1	Jon Whittle	What do 449 MDE Practitioners Think About MDE?	EESSMod	2011	DBLP BibTeX RDF
1	Jeffrey C. Carver, Eugene Syriani, Jeff Gray	Assessing the Frequency of Empirical Evaluation in Software Modeling Research.	EESSMod	2011	DBLP BibTeX RDF
1	Juan José Cadavid, Benoit Baudry, Benoît Combemale	Empirical Evaluation of the Conjunct Use of MOF and OCL.	EESSMod	2011	DBLP BibTeX RDF
1	Ana M. Fernández-Sáez, Marcela Genero, Michel R. V. Chaudron	Does the Level of Detail of UML Models Affect the Maintainability of Source Code?	EESSMod	2011	DBLP BibTeX RDF
1	Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano	Building VECM-based Systems with a Model Driven Approach: an Experience Report.	EESSMod	2011	DBLP BibTeX RDF
1	Jürgen Börstler, Ömer Faruk Bay, Meltem Huri Baturay, Sonja Trapp, Matthias Heintz, Sebastian Weber	embed4Auto: a PLE for software modelling.	ITiCSE	2010	DBLP DOI BibTeX RDF	blended learning, uml, sysml
1	Colin Atkinson	Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering.	ECMFA	2010	DBLP DOI BibTeX RDF
1	Ke Yu, Neil C. Audsley	Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard.	CIT	2010	DBLP DOI BibTeX RDF	Simulation, Software, SystemC, TLM
1	Isaac Lera, Ramón Puigjaner	Semantic layered architecture to integrate FR/NFR in software performance engineering.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	performance, requirements, semantic modeling
1	Louis Ling, Sellappan Palaniappan	Online CASE tool for collaborative software modelling.	iiWAS	2009	DBLP DOI BibTeX RDF	UML, SVG, CASE
1	Ke Yu, Neil C. Audsley	A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach.	ICESS	2009	DBLP DOI BibTeX RDF
1	Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman	The design navigator: charting java programs.	ICSE Companion	2008	DBLP DOI BibTeX RDF	design mining, reverse engineering, object-oriented design, software visualization, software modelling
1	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	Exploiting the ASM Method for Validation & Verification of Embedded Systems.	ABZ	2008	DBLP DOI BibTeX RDF
1	Fernando Orejas, Hartmut Ehrig, Ulrike Prange	A Logic of Graph Constraints.	FASE	2008	DBLP DOI BibTeX RDF
1	Fernando Orejas	Attributed Graph Constraints.	ICGT	2008	DBLP DOI BibTeX RDF
1	John Howse	Diagrammatic Reasoning Systems.	ICCS	2008	DBLP DOI BibTeX RDF	information visualization, automated reasoning, software specification, diagrammatic reasoning, Visual formalisms
1	Wolfgang Hesse	Engineers Discovering the "Real World" - From Model-Driven to Ontology-Based Software Engineering.	UNISCON	2008	DBLP DOI BibTeX RDF
1	Grzegorz J. Nalepa, Igor Wojnicki	Visual Software Modelling with Extended Rule-based Model - A Knowledge-based Programming Solution for General Software Design.	ENASE	2007	DBLP BibTeX RDF
1	Pavlína Vareková, Barbora Zimmerova	Subject-observer specification with component-interaction automata.	SAVCBS	2007	DBLP DOI BibTeX RDF	dynamic number of components, verification, specification, component-based systems, software modelling, finite-state systems
1	Song Shen, Gregory M. P. O'Hare, Michael J. O'Grady	Fuzzy-set-based decision making through energy-aware and utility agents within wireless sensor networks.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	Energy-aware agents, Utility agents, Resource bounded reasoning, Intelligent agents, BDI agents, Distributed decision-making, Sensor data fusion
1	Dinesh S. Dave, Ajay K. Aggarwal, Chandrashekar D. Challa	Pricing analysis of decision-making software: modelling and Artificial Intelligence approaches.	IJCAT	2006	DBLP DOI BibTeX RDF
1	Lijun Shan, Hong Zhu	Testing Software Modelling Tools Using Data Mutation.	AST	2006	DBLP DOI BibTeX RDF
1	Chang Hong Lin, Wayne Wolf, Andrew Dixon, Xenofon D. Koutsoukos, Janos Sztipanovits	Design and Implementation of Ubiquitous Smart Cameras.	SUTC	2006	DBLP DOI BibTeX RDF
1	Igor Ivkovic, Kostas Kontogiannis	Using Formal Concept Analysis to Establish Model Dependencies.	ITCC	2005	DBLP DOI BibTeX RDF	model dependencies, software evolution, formal concept analysis, software modelling, model synchronization
1	Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell	Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams.	ER	2005	DBLP DOI BibTeX RDF	UML, Activity Diagrams, Workflow Patterns, YAWL
1	Joerg Evermann, Yair Wand	Ontology based object-oriented domain modelling: fundamental concepts.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Ontology, UML, System analysis, Object-oriented modelling, Business analysis
1	Ferdinand Wagner, T. Wagner, Peter Wolstenholme	Closing the Gap Between Software Modelling and Code.	ECBS	2004	DBLP DOI BibTeX RDF
1	João W. Cangussu	Software Modelling, Simulation, and Optimization Convergence Assessment of the Calibration Algorithm for the State Variable Model of the Software Test Process.	Applied Informatics	2003	DBLP BibTeX RDF
1	Anthony J. Cowling	Modelling: A Neglected Feature in the Software Engineering Curriculum. (PDF / PS)	CSEE&T	2003	DBLP DOI BibTeX RDF	software engineering theory, curriculum structure, degree programmes, software processes, Software engineering education, software modelling, software engineering practice
1	Friedrich Steimann, Jens Gößner, Thomas A. Mück	On the Key Role of Compositioning Object-Oriented Modelling.	UML	2003	DBLP DOI BibTeX RDF
1	Maarten W. A. Steen, Marc M. Lankhorst, R. G. van de Wetering	Modelling Networked Enterprises. (PDF / PS)	EDOC	2002	DBLP DOI BibTeX RDF
1	Tom Holvoet, Pierre Verbaeten	Using Petri Nets for Specifying Active Objects and Generative Communication.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
1	M. H. Lee	Model-based reasoning: a principled approach for software engineering.	Software - Concepts and Tools	2000	DBLP DOI BibTeX RDF	Software modelling, Qualitative reasoning, Model-based systems
1	José Hernández-Orallo, M. José Ramírez-Quintana	Software as Learning: Quality Factors and Life-Cycle Revised.	FASE	2000	DBLP DOI BibTeX RDF
1	Richard F. Paige, Jonathan S. Ostroff	Developing BON as an Industrial-Strength Formal Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Max Mühlhäuser	Modeling and design of complex cooperative software.	ICECCS	1995	DBLP DOI BibTeX RDF	complex cooperative software modelling, complex cooperative software design, workflow computing, workgroup computing, graphical view types, middle-out design methodology, scenario-based view type, work scenario, multi-view editor, work scenario views, software engineering, mobile computing, groupware, graphical user interfaces, distributed processing, multimedia computing, multimedia computing, application software
1	Khalid Benali, Jean-Claude Derniame	Software Modelling: What, Who and When.	EWSPT	1992	DBLP DOI BibTeX RDF
1	Martin J. Shepperd, Darrel C. Ince	Multi-Dimensional Modelling and Measurement of Software Designs.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF