|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 17 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Victor L. Winter, James T. Perry, Harvey P. Siy, Satish Mahadevan Srinivasan, Ben Farkas, James A. McCoy |
The Tyranny of the Vital Few: The Pareto Principle in Language Design.  |
JSEA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry |
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Azamatbek Mametjanov, Victor L. Winter, Ralf Lämmel |
More precise typing of rewrite strategies. |
LDTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Kniesel, Victor L. Winter, Harvey P. Siy, Mansour Zand |
Making aspect-orientation accessible through syntax-based language composition. |
IET Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Daniel Resler, Victor L. Winter |
A higher-order strategy for eliminating common subexpressions. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Visser, Victor L. Winter |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter |
Program Transformation: What, How, and Why. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter |
Model-driven Transformation-based Generation of Java Stress Tests. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Wu, Harvey P. Siy, Mansour Zand, Victor L. Winter |
Construction of Ontology-Based Software Repositories by Text Mining. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
Ontology, Text Mining, Software Repository, Early Aspects |
| 1 | Victor L. Winter, Azamatbek Mametjanov, Steven E. Morrison, James A. McCoy, Gregory L. Wickstrom |
Transformation-Based Library Adaptation for Embedded Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Azamatbek Mametjanov |
Generative programming techniques for Java library migration. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
HATS, java Libraries, strategic programming, program transformation, TL |
| 1 | Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom |
A transformational perspective into the core of an abstract class loader for the SSP. |
ACM Trans. Embedded Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
HATS, Strategic programming, higher-order rewriting, TL, SSP |
| 1 | Victor L. Winter |
Strategy Construction in the Higher-Order Framework of TL. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach |
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Jason Beranek |
Program Transformation Using HATS 1.84. |
GTTSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Deepak Kapur |
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Mahadevan Subramaniam |
The transient combinator, higher-order strategies, and the distributed data problem. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Steve Roach, Fares Fraij |
Higher-order strategic programming: A road to software assurance. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter |
The SSP: An Example of High-Assurance Systems Engineering. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Steve Roach, Gregory L. Wickstrom |
Transformation-oriented programming: A development methodology for high assurance software. |
Advances in Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Victor L. Winter, Raymond Berg |
Designing a Controller for a Multi-Train Multi-Track System. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu |
Software Dependability in Distributed and Mobile Computing Environments. |
HASE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur |
A Survey: Applying Formal Methods to a Software Intensive System. |
HASE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Victor L. Winter, Dejan Desovski, Bojan Cukic |
Virtual Environment Modeling for Requirements Validation of High Consequence Systems. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James M. Boyle, R. Daniel Resler, Victor L. Winter |
Do You Trust Your Compiler? |
IEEE Computer |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Raymond Berg |
Software Systems: Consequence versus Functionality. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter |
A Synchronous Paradigm for Modeling Stable Reactive Systems. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry |
Key Applications for High-Assurance Systems. |
IEEE Computer |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Berg, Victor L. Winter |
Risk Assessment and Integrity in System Design. (PDF / PS) |
ICECCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James M. Boyle, R. Daniel Resler, Victor L. Winter |
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter |
Software on the edge. (PDF / PS) |
HASE |
1996 |
DBLP DOI BibTeX RDF |
formal specification, formal methods, software reliability, software reliability, software component, safety-critical applications, systems failure |
| 1 | Victor L. Winter, James M. Boyle |
Proving refinement transformations for deriving high-assurance software. (PDF / PS) |
HASE |
1996 |
DBLP DOI BibTeX RDF |
refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification |
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")