Travelled to:
1 × Germany
1 × Republic of China
3 × USA
Collaborated with:
I.Yen D.Wang A.Jamoussi T.Gao K.M.L.Cooper H.Ma J.Liu G.DiMarco A.Pasquini C.V.Ramamoorthy J.M.Favaro Y.R.Mok C.W.Nam K.Suzuki
Talks about:
softwar (4) develop (3) system (3) base (3) support (2) program (2) test (2) architectur (1) experiment (1) irregular (1)
Person: Farokh B. Bastani
DBLP: Bastani:Farokh_B=
Contributed to:
Wrote 8 papers:
- SEKE-2005-GaoCMYB #learning #modelling #object-oriented
- An Object-Oriented Modeling Learning Support System With Inspection Comments (TG, KMLC, HM, ILY, FBB), pp. 211–216.
- SEKE-2005-GaoCMYB05a #adaptation #component #distributed #towards #uml
- Toward a UML Profile to Support Component-Based Distributed Adaptive Systems (TG, KMLC, HM, ILY, FBB), pp. 217–222.
- SEKE-2005-LiuBY #development #formal method
- A Formal Foundation of Code Pattern Based Development (JL, FBB, ILY), pp. 274–279.
- SEKE-2003-WangBY #architecture #development #quality #relational
- Relational Program Architecture for High Quality Software Development (DW, FBB, ILY), pp. 346–353.
- SEKE-2003-WangBY03a #automation #design
- Automated Software Design of Process-Control Systems (DW, FBB, ILY), pp. 467–474.
- SEKE-1996-JamoussiB #generative #monte carlo #performance #random testing #testing
- Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions (AJ, FBB), pp. 17–24.
- ICSE-1993-BastaniDP #correctness #evaluation #using
- Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation (FBB, GD, AP), pp. 45–54.
- ICSE-1979-RamamoorthyBFMNS #approach #development #on the #validation
- On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants (CVR, FBB, JMF, YKRM, CWN, KS), pp. 231–240.