gellban Goto Github PK

bounded-modular-verification-using-jfvtool

JFVTool is a bounded modular verification tool that formally checks whether or not the program’s methods have been implemented according to their specifications. This tool automatically checks the code for all possible cases (within some bounds), and verifies that it meets the specifications.

coronavirus

Visualize the coronavirus tweets and statistics of the world wide

customer-satisfaction-angular5-dialogbox-flexbox-movinglaser

Customer Satisfaction Project in Angular5 using DialogBox, FlexBox and MovingLaser

discovering-fake-drivers-based-on-temporal-driving-behaviors

mochachaiistanbulnyc

RESTFul testing and code coverage using Mocha, Chai, Istanbul, NYC, fs, Node.js, and Express

myresearchweb

myweb

My website

project-angular4

The source code of the project web applications containing view and controller. You need to use another project to run the code. The another project name is project-nodes

react-redux-flower-shop

Show bouquets gallery using react and redux technologies

userstoriesangular5

A demo how to use Angular 5 to build a feature management system using user stories. Read about agile and user stories to understand how it works manually and its goals

userstoriesusingreact

User stories are short, simple descriptions of a feature (user requirements or expectations) told from any stakeholder like user or customer of the system. They typically follow a simple template: As a < type of user >, I want < some goal > so that < some reason >. User stories are often written on index cards or sticky notes, stored in a shoe box, and arranged on walls or tables to facilitate planning and discussion. As such, they strongly shift the focus from writing about features to discussing them. In fact, these discussions are more important than whatever text is written. In this project, we will give a small website to ducement the user stories. This can be used for any project.