Found: 14
Select item for more details and to access through your institution.
RETRIEVAL BY CONSTRUCTION:: A TRACEABILITY TECHNIQUE TO SUPPORT VERIFICATION AND VALIDATION OF UML FORMALIZATIONS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2005, v. 15, n. 5, p. 837, doi. 10.1142/S0218194005002531
- By:
- Publication type:
- Article
Formalizing the Functional Model Within Object-Oriented Design.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2000, v. 10, n. 1, p. 5, doi. 10.1142/S0218194000000031
- By:
- Publication type:
- Article
FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 1994, v. 4, n. 2, p. 183, doi. 10.1142/S0218194094000106
- By:
- Publication type:
- Article
USING AUTOMATED REASONING TECHNIQUES TO DETERMINE SOFTWARE REUSE.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 1992, v. 2, n. 4, p. 523, doi. 10.1142/S0218194092000245
- By:
- Publication type:
- Article
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 5, p. 1543, doi. 10.1007/s10270-023-01090-9
- By:
- Publication type:
- Article
The uncertainty interaction problem in self-adaptive systems.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 4, p. 1277, doi. 10.1007/s10270-022-01037-6
- By:
- Publication type:
- Article
The Ten Most Wanted Solutions in Protein Bioinformatics.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
Protein classification based on text document classification techniques.
- Published in:
- Proteins, 2005, v. 58, n. 4, p. 955, doi. 10.1002/prot.20373
- By:
- Publication type:
- Article
Object Analysis Patterns for Embedded Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 12, p. 970, doi. 10.1109/TSE.2004.102
- By:
- Publication type:
- Article
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 747, doi. 10.1109/TSE.2002.1027798
- By:
- Publication type:
- Article
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware.
- Published in:
- Journal of Internet Services & Applications, 2012, v. 3, n. 1, p. 51, doi. 10.1007/s13174-011-0049-4
- By:
- Publication type:
- Article
Requirements Engineering: Integrating Technology.
- Published in:
- IEEE Software, 2000, v. 17, n. 3, p. 18
- By:
- Publication type:
- Article
Early Implementation Lessons on the Patient Protection and Affordable Care Act Outreach and Enrollment Efforts in the Asian American and Pacific Islander Communities.
- Published in:
- AAPI Nexus, 2014, v. 12, n. 1/2, p. 55
- By:
- Publication type:
- Article
RELAX: a language to address uncertainty in self-adaptive systems requirement.
- Published in:
- Requirements Engineering, 2010, v. 15, n. 2, p. 177, doi. 10.1007/s00766-010-0101-0
- By:
- Publication type:
- Article