|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 43 occurrences of 35 keywords
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing |
Verification and Validation for Trustworthy Software Systems.  |
IEEE Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason S. Bolin, James Bret Michael, Man-tak Shing |
Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. |
SERVICES |
2011 |
DBLP DOI BibTeX RDF |
cloud computing, social media, situational awareness, program management |
| 1 | Shawn Kelly, Corey Mazyck, Karl Pfeiffer, Man-tak Shing |
A Cloud Computing Application for Synchronized Disaster Response Operations. |
SERVICES |
2011 |
DBLP DOI BibTeX RDF |
common operating picture, cloud computing, self-synchronization, disaster response |
| 1 | James Bret Michael, Man-tak Shing, K. J. Cruickshank, P. J. Redmond |
Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety. |
IEEE Systems Journal |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Validating quality attribute requirements via execution-based model checking. |
International Symposium on Rapid System Prototyping |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin D. Foster, John J. Shea, James Bret Michael, Thomas W. Otani, Loren Peitso, Man-tak Shing |
Cloud Computing for Large-Scale Weapon Systems. |
GrC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Removing the Boundaries: Steps Toward a Cloud Nirvana. |
GrC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | K. J. Rothenhaus, James Bret Michael, Man-tak Shing |
Architectural Patterns and Auto-Fusion Process for Automated Multisensor Fusion in SOA System-of-Systems. |
IEEE Systems Journal |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Using UML Statecharts with Knowledge Logic Guards. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior |
| 1 | Doron Drusinsky, James Bret Michael, Man-tak Shing |
A framework for computer-aided validation. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Runtime verification, Validation and verification |
| 1 | Gregory P. Ball, Kevin Squire, Craig Martell, Man-tak Shing |
MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents. |
IEEE International Workshop on Rapid System Prototyping |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
Formal Specifications, Validation, Patterns, Statecharts, Assertions |
| 1 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Creating and Validating Embedded Assertion Statecharts. |
IEEE Distributed Systems Online |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing |
A design pattern for using non-developmental items in real-time Java. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
non-developmental items, real-time system, design pattern, garbage collection, Java programming language |
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for automation of testing and assessment of system safety. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Creation and Validation of Embedded Assertion Statecharts. |
IEEE International Workshop on Rapid System Prototyping |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Test Automation and Safety Assessment in Rapid Systems Prototyping. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
| 1 | Man-tak Shing, Doron Drusinsky |
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt |
Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | William J. Ray, Man-tak Shing, Chee Khan Kwok |
Simulation models for optimal object server deployment. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Monitoring Temporal Logic Specifications Combined with Time Series Constraints. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Verification of Timing Properties in Rapid System Prototyping. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen |
Comparative Rapid Prototyping, A Case Study. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nader Nada, Man-tak Shing, Valdis Berzins, Luqi |
Automated prototyping tool-kit (APT). |
Inf. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin |
DCAPS - Architecture for Distributed Computer Aided Prototyping System. |
IEEE International Workshop on Rapid System Prototyping |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams |
Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. |
Design Autom. for Emb. Sys. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Valdis Berzins, Man-tak Shing, R. Riehle, J. Nogueira |
Evolutionary Computer Aided Prototyping System (CAPS). |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
evolutionary software development process, computer-aided prototyping system, distributed development environment, real-time systems, requirements engineering, software evolution, rapid prototyping, risk assessment, CASE tools, CAPS |
| 1 | Nader Nada, Luqi, Man-tak Shing, David C. Rine, Ernesto Damiani, S. Tuwaim |
Software Reuse Technology Practices and Assessment Tool-Kit. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
Case-Based Reasoning Systems, Web-Based Training Systems, Distance Learning, Knowledge Base, Learning Environments, Intelligent Tutoring |
| 1 | Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes |
The Story of Re-engineering 350,000 Lines of FORTRAN Code. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams |
Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. (PDF / PS) |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
Combat Simulation, Software Evolution, Rapid Prototyping, Object Modeling, Re-engineering, Object-Oriented Architecture |
| 1 | Luqi, Man-tak Shing |
Real-Time Scheduling for Software Prototyping. |
Journal of Systems Integration |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Valdis Berzins, Luqi, Man-tak Shing |
Computer Aided Prototyping System. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Teofilo F. Gonzalez, Mohammadreza Razzazi, Man-tak Shing, Si-Qing Zheng |
On Optimal Guillotine Partitions Approximating Optimal D-box Partitions. |
Comput. Geom. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-tak Shing, Gary B. Parker |
Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies. |
ICGA |
1993 |
DBLP BibTeX RDF |
|
| 1 | Man-tak Shing |
Optimum Ordered Bi-Weighted Binary Trees. |
Inf. Process. Lett. |
1983 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")