|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 313 occurrences of 255 keywords
|
|
|
|
|
Results
Found 343 publication records. Showing 343 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran |
Prioritizing test cases with string distances.  |
Autom. Softw. Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
Editorial: analysis in software engineering. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhimin He, Fengdi Shu, Ye Yang, Mingshu Li, Qing Wang |
An investigation on the feasibility of cross-project defect prediction. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yosi Ben-Asher, Tomer Gal, Gadi Haber, Marcel Zalmanovici |
Refactoring techniques for aggressive object inlining in Java applications. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
Editorial: ASE 2011 conference trip report. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Li, Hongyu Zhang, Rongxin Wu, Zhi-Hua Zhou |
Sample-based software defect prediction with active and semi-supervised learning. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Liparas, Lefteris Angelis, Robert Feldt |
Applying the Mahalanobis-Taguchi strategy for software defect diagnosis. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ebrahim Bagheri, Faezeh Ensan, Dragan Gasevic |
Decision support for the software product line domain engineering lifecycle. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed Reza Shahamiri, Wan M. N. Wan-Kadir, Suhaimi Ibrahim, Siti Zaiton Mohd Hashim |
Artificial neural networks as multi-networks automated test oracle. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Jooyong Lee, Robby |
Efficient and formal generalized symbolic execution. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini |
Model checking agent programming languages. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayse Basar Bener, Tim Menzies |
Guest editorial: learning to organize testing. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Mahbub, George Spanoudakis, Andrea Zisman |
A monitoring approach for runtime service discovery. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Kloukinas, Sergio Yovine |
A model-based approach for multiple QoS in scheduling: from models to implementation. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangmok Han, David R. Wallace, Robert C. Miller |
Code completion of multiple keywords from abbreviated input. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan |
Symbolic modular deadlock analysis. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Gabriele Taentzer |
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Thummalapenta, Tao Xie |
Alattin: mining alternative patterns for defect detection. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Dhungana, Paul Grünbacher, Rick Rabiser |
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Wasylkowski, Andreas Zeller |
Mining temporal specifications from object usage. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum |
Example-based model-transformation testing. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Rosenmüller, Norbert Siegmund, Sven Apel, Gunter Saake |
Flexible feature binding in software product lines. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
Editorial: Controlling change. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zhong, Lu Zhang 0023, Tao Xie, Hong Mei |
Inferring specifications for resources from natural language API documentation. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Samik Basu, Robyn R. Lutz |
Compositional model checking of software product lines using variation point obligations. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
Editorial: ASE 2010 Conference trip report. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Gay, Tim Menzies, Omid Jalali, Gregory E. Mundy, Beau Gilkerson, Martin S. Feather, James D. Kiper |
Finding robust solutions in requirements models. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
Editorial: software defect detection. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersen, Julia L. Lawall |
Generic patch inference. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
Estimating the feasibility of transition paths in extended finite state machines. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Larson |
SUDS: an infrastructure for creating dynamic software defect detection tools. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Edwards, Sean Tucker, Brian Demsky |
AFID: an automated approach to collecting software faults. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Hasan Ural |
Generating a checking sequence with a minimum number of reset transitions. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, Zach Milton, Burak Turhan, Bojan Cukic, Yue Jiang, Ayse Basar Bener |
Defect prediction from static code features: current results, limitations, new approaches. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Ireland, Willem Visser |
Guest Editorial. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongbing Kou, Philip M. Johnson, Hakan Erdogmus |
Operational definition and automated inference of test-driven development with Zorro. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
Editorial: ASE 2009 conference trip report. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, Omid Jalali, Jairus Hihn, Daniel Baker, Karen T. Lum |
Stable rankings for different effort models. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Hao, Tao Xie, Lu Zhang 0023, Xiaoyin Wang, Jiasu Sun, Hong Mei |
Test input reduction for result inspection to facilitate fault localization. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer |
Type safety for feature-oriented product lines. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
Editorial: data mining in software engineering. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Robbes, Michele Lanza |
Improving code completion with program history. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu |
Efficient monitoring of parametric context-free patterns. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Gay, Tim Menzies, Misty Davies, Karen Gundy-Burlet |
Automatically finding the control variables for complex system behavior. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella |
Trading-off security and performance in barrier slicing for remote software entrusting. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Security, Program slicing, Source code transformation |
| 1 | Andreas Lochbihler, Gregor Snelting |
On temporal path conditions in dependence graphs. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Temporal logic, Security analysis, Program dependence graph, Path condition |
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A semantic framework for metamodel-based languages. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics |
| 1 | Alexander Egyed, Bernd Fischer 0002 |
Guest editors' introduction. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelouahed Gherbi, Ferhat Khendek |
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL |
| 1 | Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst |
Parameter reference immutability: formal definition, inference tool, and comparison. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Reference immutability, Combined analysis, Definition, Readonly |
| 1 | Jason Sawin, Atanas Rountev |
Improving static resolution of dynamic class loading in Java using dynamically gathered environment information. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
String analysis, Dynamic class loading, Static analysis, Reflection |
| 1 | Dennis Giffhorn, Christian Hammer |
Precise slicing of concurrent programs. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Program analysis, Threads, Slicing |
| 1 | Michael W. Godfrey, Bogdan Korel |
Editorial for Special Issue of JASE on Source Code Analysis and Manipulation. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Marin, Arie van Deursen, Leon Moonen, Robin van der Rijst |
An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Code refactoring, Cross cutting concerns, Software engineering, Reverse engineering, Aspect-oriented programming, Program analysis, Concern modeling |
| 1 | Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki |
Fast extraction of high-quality framework-specific models from application code. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Framework-specific models, Framework-specific modeling languages, Reverse engineering, Static analysis, Application programming interface, API, Object-oriented frameworks |
| 1 | Robert J. Hall |
A first editorial. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Tuunanen, Jussi Koskinen, Tommi Kärkkäinen |
Automated software license analysis. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Reverse engineering, Software reuse, Program comprehension, Open source software, Software licenses |
| 1 | Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos |
Monitoring and diagnosing software requirements. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Diagnostics, Requirement monitoring |
| 1 | Greg Little, Robert C. Miller |
Keyword programming in Java. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Code assistants, Java, Autocomplete |
| 1 | Eva Magnusson, Torbjörn Ekman, Görel Hedin |
Demand-driven evaluation of collection attributes. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Collection attributes, Circular attributes, Fixed-point computations, Attribute grammars, Source code analysis |
| 1 | Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian |
Scalable satisfiability checking and test data generation from modeling diagrams. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Modeling, Testing, Databases, NP-hardness, Test data generation, ORM, ORM- |
| 1 | Leonardo Gresta Paulino Murta, André van der Hoek, Cláudia Maria Lima Werner |
Continuous and automated evolution of architecture-to-implementation traceability links. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Software architecture, Software evolution, Traceability, Configuration management |
| 1 | Bran Selic |
Personal reflections on automation, programming culture, and model-based software engineering. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Computer automation, Usability, Software tools, Model-driven development, Computer-aided software engineering, Psychology of programming |
| 1 | John R. D. Hughes, Cliff B. Jones |
Reasoning about programs via operational semantics: requirements for a support system. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Proofs about programs, Tool support, Structural operational semantics |
| 1 | Sebastián Uchitel, Steve M. Easterbrook |
Guest Editors' Introduction. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey |
Desert Island Column. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Desert Island Books |
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Deriving event-based transition systems from goal-oriented requirements models. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration |
| 1 | Gerhard Fischer |
Rethinking software design in participation cultures. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Human-problem domain interaction, Distribution and diversity, Networked information economy, Participation cultures, Software design, Meta-design, Domain-oriented design environments |
| 1 | Michael Jackson |
Automated software engineering: supporting understanding. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Mechanisation, Complexity, Automation, Fragmentation, Manipulation, Description |
| 1 | Nadzeya Kiyavitskaya, Nicola Zannone |
Requirements model generation to support requirements elicitation: the Secure Tropos experience. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Lightweight text analysis, Model generation |
| 1 | Dan Hao, Lu Zhang 0023, Ying Pan, Hong Mei, Jiasu Sun |
On similarity-awareness in testing-based fault localization. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Debugging, Fuzzy set, Maintenance, Fault localization |
| 1 | Eugen-Nicolae Volanschi |
A portable compiler-integrated approach to permanent checking. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
User-defined checks, Extensible compilers |
| 1 | Alan M. Davis |
Desert Island Column. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
DeMarco, Lister, Tufte, Desert island, Trout, Endres, Rombach, Dörner, Turnbull, Bambuti, Ries, Ik |
| 1 | Gerard J. Holzmann, Rajeev Joshi, Alex Groce |
Model driven code checking. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Logic model checking, Embedded C code, Software verification, Spin model checker |
| 1 | Robert J. Hall |
A method and tools for large scale scenarios. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Requirements engineering, Tools, Scenario, Large scale, Automated software engineering |
| 1 | Elisabetta Di Nitto, Carlo Ghezzi, Andreas Metzger, Mike P. Papazoglou, Klaus Pohl |
A journey to highly dynamic, self-adaptive service-based applications. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Services, Adaptive systems, Self-adaptation, Service-oriented computing |
| 1 | Ian Sommerville |
Desert Island Column. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Nuseibeh |
A final editorial. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan |
Differencing and merging of architectural views. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Tree-to-tree correction, Graph matching, View synchronization |
| 1 | Alistair G. Sutcliffe |
The socio-economics of software architecture. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Architecture, Requirements, End-user development, Cost-benefit analysis |
| 1 | Leon J. Osterweil |
What is software? |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Software engineering, Software development, Software process |
| 1 | Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp |
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming |
| 1 | Ian F. Alexander |
Column for the Automated Software Engineering Journal. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. H. Simons |
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Algebraic testing, Lazy specification, Lazy systematic testing, Operational abstraction, JWalk, Unit testing, Agile methods, JUnit, State-based testing |
| 1 | Mats Per Erik Heimdahl, George Devaraj |
On the effect of test-suite reduction on automatically generated model-based tests. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Test reduction, Fault finding, Specification-based testing, Automated test generation, Model checkers |
| 1 | Keith Gallagher |
Desert island column. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Stirewalt, Virginie Wiels |
Introduction. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Milanova |
Composition inference for UML class diagrams. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Algorithms, UML, Reverse engineering, Points-to analysis, Ownership |
| 1 | Ronald Morrison, Dharini Balasubramaniam, Graham N. C. Kirby, Kath Mickan, Brian Warboys, R. Mark Greenwood, Ian Robertson, Bob Snowdon |
A framework for supporting dynamic systems co-evolution. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Run-time evolution, Reflection, Software evolution, Co-evolution, Adaptive software, Incremental design |
| 1 | Mana Taghdiri, Daniel Jackson |
Inferring specifications to detect errors in code. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference |
| 1 | Fabio Massacci, John Mylopoulos, Nicola Zannone |
Computer-aided Support for Secure Tropos. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
CASE tools, Automated reasoning, Security requirements engineering |
| 1 | Zhenchang Xing, Eleni Stroulia |
Differencing logical UML models. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Design differencing, Structural evolution, Design understanding, Design mentoring |
| 1 | Alexander Borgida |
How knowledge representation meets software engineering (and often databases). |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold |
JDiff: A differencing technique and tool for object-oriented programs. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Program differencing, Software evolution |
| 1 | Marco Autili, Paola Inverardi, Patrizio Pelliccione |
Graphical scenarios for specifying temporal properties: an automated approach. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Scenario based notation, System requirements specification, Temporal properties specification |
| 1 | David Notkin |
Dessert Island. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss |
The design and implementation of a dataflow language for scriptable debugging. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Script automation, Dataflow dsl scheme, Java, Debugging |
| 1 | Bill Mitchell |
Lazy buffer semantics for partial order scenarios. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ellman, Andrea Zisman |
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005). |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaoxia Hu, Sol M. Shatz |
Explicit modeling of semantics associated with composite states in UML statecharts. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Composite states, State-transition notation, UML, Petri nets, Statecharts |
Displaying result #1 - #100 of 343 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")