Formal Verification of Application Conceptual Models Using UML and OWL
Loading...
Loading...
1,126
Loading...
9:58
Formal Method for Avionics Software Verification pt1 (Hervé Delseny)by AdaCore05888 views- 51:44
Lecture - 6 Formal Specificationby nptelhrd14,373 views
- 2:27
Developing the NIST Smart Grid Conceptual Modelby ErichGunther642 views
- 8:10
Rules and Semantic Web - Part 1by dufresneconsulting16,220 views
- 10:13
Matt Hsu on Jasper Formal Verificationby JasperDesignAuto177 views
- 4:20
OWL, UML, Ecore, SPARQL: TwoUse Examplesby fparreiras2,166 views
- 56:39
Lecture -5 Requirements Engineering / Specificationby nptelhrd34,510 views
- 5:14
GMS: MODFLOW Conceptual Model Approachby Aquaveo2,766 views
- 2:50
defining-conceptual-model.movby iamrai715 views
- 50:52
Lecture - 9 ER Model to Relational Model Mapingby nptelhrd50,372 views
- 8:45
MDA PIM Model Creationby jaguaracisilva264 views
- 5:12
Visual MODFLOW 3D-Builder - Convert conceptual to numerical modelby SchlumbergerWater1,962 views
- 1:15
Chapter 7 Project Cost Estimating (3)by sallydful1,352 views
- 3:51
MODEL T - Conceptual Images/Videoby modeltbooking764 views
- 5:31
DODDLE-OWL Beta5 Demo Movieby mmmproject864 views
- 1:06
lecture on ontologyby milprad12,115 views
- 55:40
Lecture -1 Embedded Systems: Introductionby nptelhrd192,315 views
- 2:00
UML - Quick understanding!by luckyvidoes38,411 views
- 1:26
Vertical Limit Original Soundtrack-Utahby doma2345,614 views
- 1:10
Advertising Week - Conceptual Model Walk Throughby combinedstory269 views
I'll share #fullpapers about what I have been researching lately on my blog.
Today, I have put there - A Continuous Integration Enviroment in the Life Cycle of an Enterprise Architecture - a case study, in which I wrote a full paper about a case study about a roadmap for institutionalizing, evaluating and implementing an Enterprise Architecture within a software development environment..
jaguaracisilva.blogspot.com - > Thanks for watching!!
jaguaracisilva 1 week ago